SQLite format 3@ .;  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 1dl< ]/ SIFUM_Type_Systems:threads=4elapsed=49.741cpu=124.144gc=5.080factor=2.507zXZִF! L]ŗXf[&N:6@x7siFl<|L+n|!)c0I:\xŃx22ʙOb9Y. `j,SOZbM2A$By ޶A!m00J=1SNtؗ}2jOp;ece!@>\?elk2%kZR53rf۾ǎ9rQʷDKW,T-Ŋ#ף@ _g?3i)0뜦=4AnJ'fQjbbiO^~8ps38sc:`e`Љ*R."sWGjbA*b{@h=y3("mv[EN !ά_J_+4>PAYQ́.t}Yt v#LoCQ)^E U},ȘF>\ynS1;J_ۘp>M$Vzje`3+@̿>6YKKhKZ;5=*gmSؓʳL0~|e fvzLg-=udx<Zdo*sRKu3=} =ƮA)1QuU?|G(Zf[ԯ{Qy#T ;+zHO%Qyte}ى MG hMhg3κb[8Dlj2{[M]{~g)(bz#$8"f]Bo`b0t~e}MZW 5k>=}3W#"Oo7qs9S!oIB*7m*j[oJUBlrwj8><5Uw5}m6ȩ%D赿.q@@+~s$f-S(&M4)`œI`JZţ!1! b sX۵cf?KE2 ^Jv.JWQ J fA·O:6_!n 柿tg]BƱhV̻WPoc'* ?Rћ6v F0[?OaFѽߌd6{G/b|_qv6d zCxN~gY !{8RkNTIrfīR֨l $"!%hWP.{7_:lw$/)ymγ [m$ RL_\|Y?T4h[o+f>AxS>S-\1VuZncy h:EBGp0{ *Ą<#J7G jڀg3oK2.?H^ٞO+ݚX5R)2j}5GᎼ.Z6՝-JYd{z'sKa@{;Wv *4q7<|e,˖9UqZGes. {v?9ȹ  ]s16P΅\g3puprC.5^ASl g9QaAV4+`Щ!xh'd+if\ ^A:wgz2pt3h,ιԕߎS_z-/S U]ڶ%2f4cNꅲV7C| c, -4lKg~6t#{N׶k'L&}`[@\+[ =_dʛd:*jq*Z#V.ls1 ܆F` -v)vd ?gB[DA9@-}v"X0-{]|{ٶ-r ٫;'k~J.À|P 8Lhi%sB vN(BXÞIؔc:c9l#$\fH\٠ `,CXdEkT\n5I$ JwvPP=1RuܲY*>@)\X>9ņ\Ď4XM"}Fjtr3N97C.u7(es8`y7HYL;hyʓ3lhJ16ܸ ]M6e_6F 5C)ԛ !6 0Xt$5 ]\o* S.:'~nR ;"kb%r0c:J88B/&6:x*ed46bAu5m7 ;I0 _Ddd} )"~NjZ ReJb6:EEhFW2$0 #N ܳ|D %{޼1Kc srEJ:q7Њ acsK7U.J'{D)UWESk#|P!z+2i50JɮA|EQ߶?ZglmktUdӪ2B@qQҞnZA皕lۛWjj浄7X8`&Əy;PIU D$T XU٠KwD̼L{ -)7.KNxWo)%E0 }|}g|Aw&g*0 u3$qϸ K)\ ڥa7 2_a<^=pDD,_4=(dqZt.V,Nj1WX!@5py̍qSTT# ;4H dn82pi~t3VN5uދĥބ/!nqJѢ%\8覦/O! }uKet@XLI[]enI,\72RrY{.-ǮO'|/)b.`"B vR