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 {' tDd ]/]HOL-Cardinals:threads=4elapsed=14.202cpu=53.664gc=1.708factor=3.787zXZִF! ]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܲ;^,z XKJ;>vU_:CazXgj$ SE.pGIݒ F,p" zh6sQNIr*7DT°tj&+Xo PW „{#<8V7ʉLЎ^K ;J.ijsΨpӔ B3]`=-B]rQ/n% /3?EިY̪%o*[iOc3cWU< Cm/a9\>(bEqd@ ͵dEfw ]"TQAF2y`mJ֭% @3d#U\=9؅{8ec*VfIdul>79pcɊs^wV F d:6 U8i""ZYBxݗ9#6%0栰j}_} tBo` ێ]XwvbS%;s ğkcNUKwD>@[L`,m^4‚.kA&TIiFoZ 3_žz%=zpun4CdAGIgܮs,Jr<w=Oױ,gYZ7zXZִF! o+]ŗXi%GUdҙ1"`V+gq#ߓ%,𾼍:Buμ#Xw&[E]5[G]%@y^w Cuw_YBwrQ0f '$T{VۭLm[Sc> 8~?wIΩR?nD$W}ALeglTrӊQy交{ogi`jkb pꅾ>|W[l\ RD,Q!MFkU6d&_ZO]jT QwQ,1Jɀ.RLbWlrr-ǃy*4>[ziK)XaùTeQ};q{a[985\ Wb9#Xp|hDtQNiD~OlK$lfAu`~O[{MD^8p m#k0Kb?iQ,Xn]X3j/#K0:OSB1莮(a/$(ַ#>]?;O[ jԚU*j$dƌtBI8c[In t6l& IY9 d`{V{ahI4ݵٿK#*R+ڌH%RNRߐI@js< lC8ˣ]Dmz\@rm"Z#2^3 +YML"%d G@qҧۆ GJsӲw*yS۞mեې@9{ Qq.X@PP8IX̪kXҴf݂It3/ˉ' Jyŀ|0 3u坐& &$tl6\DVawy tRsk: D|9*Ƚͪ%mtcYp9d7lBYjs_k"Q/JBVs.> 雃_%y#m+.l/i-o̵('&1ʶG\R0bzh>1HL9#IaµO1 ]gKeYug 5U!vY5({(9:#)Od }f_y)Pk?(5+)/1̅S 0eb^QY<—q1H7 λ|crb}S[\F&ՎG_`)~mq~ݝ=W1F3{ !XS $y@`L.!+ Kg.LOr O)RgFrk\ = 7OUne XNB|PUNg9y^t&qK"zBiUPqU#Xܒۖ~ \5Wf)ҥfdyMdI5ҟ&#ن>ז!>ox H-9Bo "0xIgu,+s\ypt^C(m. + >mU26޽Y:=Uz'U Ev0IhMBTiIp#4