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   q\$ ] Corec:threads=4elapsed=74.617cpu=109.344gc=6.844factor=1.477zXZִF! ]ŗXf1-q恈͐7ӺV 1̙ GMji YEh&!9 my$#_c(5gYZ7zXZִF!  ]ŗXi%GЙ7ܗܺD-\ԟ G WO#AA@nsxpMXT8p~}]!Ho%gT)!eѐouAF<(>݄4!/PӇΦt[Zfi_3K,c :p #s _٫}(CR嘖qa.Q*dBS#荝⟬Vᯡ>.>^# w;\\;@r1 dI0q dpi`,,QwlǡژTfrley$TUlRnS\O[$"4ς \x. 9;'5K7@"Eatr p{@= wn2Xz_2޳6=R,(b4VC)HGR,[=WKdRhU 0/QdpШWpZnYTI£ GL/ ]yS8Fi@j̎hSX=tJ+V&6M)%Nbāp>e}*f_U޻g v”Et͛iv@7CvOZU8\DM~5 =sk~R]*UQ}>OQIW"{3{"z2N%^#h'}4hѱ;tx>e#xE_|n($׈dCEZ>iEYe7Ք>pҼ{ 5c@ysrd&DNif@ &OMqW#'ȠڽI]SART MjZ;>eBb/xyN3|B&wTsx H#DVӠI .Q56EP7=ls'ՖN\53T1f+M 5)y}EϩbX][-7cQ_3O}\?Wy)?-!{Ŏӵc?_Ox8B7(v d]flE_%G^8G (ۙ(^Y֟|OF-{>r*Slf˲B)X.{v ]f}3 Nјr>kXK|pH{C~V/. &=m y,~Hgd$ Gos"HGMV1{| @69cS"Ai5`Uq!h#jpf-ដ!u yw7g ۰\N*;dzZ0'ԚQLir^.N4me>Z]{:*;A^TҽX{NSYԍ(Y|873oX~·|[8slS$Ltkqs -#I>>95rQrL}@]0p_O_n!}INX07Јm 4(B0E8Jg$s9B^^'\SަpfyM:ax +Ϋ#|8Ư~DA O M&Pivl%+ocέcZGiS=(kw7֒tݞR) iTbݠ{u84&r8\kK@IǠ-AFD^D_aܑ31)xr.H[b`q}\v_/̸fGud q4S[0J,BtfOArgG¦&@žbмٮ?@.Z.Eq8cnn|MEof[7i$ˇgB_ 83P{ZwM?t x v*idk:*H= i_)ʉ}{a'--fҚ,PDC}j+rG*"@NxXwHUsݞMbC%r9iEzvM qxԓͨ9y`"J+Kwyyu~>PbIxO&aG@ڢ~AESy֣Vk&}M}Feq䜯Oc qئLw$ޫ&{g&|{~dX(ǭ)*}ZᏝF Vڧ۟fI[ᬂxN.YHu 2LZh S6_s=RT5!fJ7B z|`! `ѿ"C9ϙ4}ٓa'h>s~@s75mC[5^zlRv^d['\ٰ3Bd bq4fozUzBZ@ּ@U^;Փ~z,zqa Y^ؒ{Kْ!)>YWۦYKK[nI&2߿(of& X*Ũl8R4QuƄf]/[;N)ۏB{}<ģPFA_ j14C ;ԨΠ=9P:6$,ok6+جhEIzLlo{i$b k< w%1=a %4_&!5/Xa+qɗL˖ Z ׬l֙Cwuۗ@rߙ#?I L9߂5YI5X<3~3P`mݟA YsSO FY/~1<:eFz᥈z4 9#zlH ph0 v76' GW<Ͼ. (L@< ̱:R׺ x GǸ`h+ww{󮞗vBi431Θ"@~R隥n@`*c[-S'Z:BYo#1ke-pƄ?Lj *\ 7w╟ުrzPJDŽ5㟴`xgVJ|E ^6߇ H$۸wuCflPr?iq eX>͑ )6,*e$B}4s#Z8pCi 9 YS+]l+#i{6XD*oP)MFz Zp>ܖ%AW6P!YhQ%xN? n)͎ۨwq&XFԁ2]8t+ڎz.ɳW19@+rW >9~8; ZBom}"pi0!FPJb/.-Z.O F7G)TU,+HcmÐ~tU$OIb /w;X@Ueԏ}R[n;(J=3i-]܄$pѽA)7!5lQ/Kkwc)nK6ȱ#"K{qoG@C~o\l