SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   v' \, ]%]Matrix_Tensor:threads=4elapsed=43.777cpu=76.976gc=1.588factor=1.767zXZִF! "']ŗXf[&L_1;vU+o3&[_OC&>ᅬ+=[aNs = ?3/OA0#Y#pnW!v`qd j[|sV8RxJH1Fs1c$ЮZ}뛳ɴ^)3GA]ea4U]V(@ȇFۙ2HJjddͩX9sJuX A}|P8`|anę:@Rذ_oBSOnhKLi`@awTvaOi[}4-#$ @莪A.gj?ě>qc7$@19&*C [ef<LLȵsk{ WUF-/m.ǩP1kk\켣b"=}3m_z}4s$LskKYLU_Mg@55ԉH.+\n~J1E'gYZ7zXZִF! PF]ŗXiɟRepE@$a qc! Ѧo&6"Yil8C@jMEbQl!k}YZ7zXZִF!  ]ŗXi%Gke[M6jܢaW g|RJHPezP Ȼs,%A 9ؼX,fJOEܰ/bvDJa{LJn[CtKǠsU10Gk1s8Č30'38+Q|P$˖?Xq+\]  vyv\au*/ O 6OJTh3أ' ḄuB6=XZΫa5AD~<'o7>O)OAɅJ*$K]1`oMs\E=̦? q29 BeI~#T@M Di"BXlp6O6}TEekU1>u՝-B=NBŜʗGzԚP= OFɉv:nNw&p߰"Ve~½w%q5Z! ILOD${BBFϲ-9h9-w*L5JQ 8HPk|R(3%ZxCz!垚3N&KxuC_<蟯xވFd >@ ր;+scqt1ɘ qh\?E?ڇB_E}u6csn{5*agy3W7YK=%KMT`}q Y/}0:)9 i(e!au={ t`.ma]ܙgS6Y8O-_poI`o ͯiXmp8+Е_lyLJس󈖛9 uaZk umJo_@3S&أpj͵]Cg?iUi26u0؏e$$RF#kvmnmRU )t1X ӻ?  s1mkFXߨpY(wwJm]΀Pww*V~=70kA؞& 3_Ŋ  C{t(pb,>1]t|&`B^ O zM @bVR-~eEp3~G>"}\,^FDN߶/#jȯzbM9(S\`Hͭrҁ7*|ټsݖ[W8'R^{T]R<8dn:ܫ,JpDҷWPGM[h|4i^ p-=aHKwqgaa:N峟4_2 ZMlCJJÓ"[Bd%`UsvK <FrM&h2:x!GsRc1&u16[L؅r*"' *ڙlhX(!_Ok"*0`:xg߯g1?3pK?WC y)1zJ i~Z]4%~+;hq2~]G~AZ121< 'W X;OrJaO%J+Y`bzȚf7i EĞDL +Px@l_A .r2NH3r>VsYX{5~WDB&9sa劔4$|X#R`vg4dS$=,h~(opH=Kdx wO.؉C%U?=_F<H)6Th`ct7D8x:,y>Ri'UY*f-0itx ( @vY:`dXʓ$VO,EVVN5?71`&&Ͼ/߯[1 >cJui֔.RO/&j#}^72;LRSJ*t3)VzTTu4<WXh\dG0GJ :'oNZ|K bCvZU&E3\HC LYm kDWMJ9&a1RF|+oM_WDPYzz~j6"Oa{3;[B|p *sC>0k[$kɁ!H7۳B^U]"̳g"v㧧D gl3lۻYaH㗜\e{9.| U%ԧ 'g€eL,CnhU)BMQlؘAɰg@=(h0?gMeBm^H~)\G^iCG5z*zCJ~e@V/|J]3S䥒$ vqqH}w[Ɋ=8FBW nƽ:2ƱgYZc57c77c6b8bbcd9b8557637773923d915ddfc1774b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 88198f518de1bf192a7e4bf104af9cef3b10bcce de6cf615cd468a85b817d7c3557cc5df02f08657f845a673d2cf2faf6ff66e7252cd4c91bb3e9261