SQLite format 3@ . BBh77otableisabelle_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 Q1ll4 ]/ SIFUM_Type_Systems:threads=2elapsed=63.077cpu=108.256gc=3.620factor=1.727zXZִF! F0]ŗXf1-/6vR[\w5G.`cxY݂Ngi]k\S3甼IX-vm(Jn? -#']Xu5b7GXt)/?U 0b!#]#0RdjrdKbƁTc h+Mzp]l 4EX:vFX6ffLw6;Yf{%Ż1kDyF4m1}2 3\O'FkyUTXǤm[]{ ^<,C*GJ^$:XQr25)?.C,V1G!bMO ڗ`}@P%qtz;!{DҬ芴LnGgk9n-4Ā 詐U.a_S=z/n!pax@x=ٓwgpsRt<Mfg ghx$4Waߡ6~s{B˲%s+' ,1Ts1ɔp=tRSlf\Zh+FYM ~bGn?r"FGeׁ.u@@RM'VkW1RLBʡ{f6%i)hFoKV'7ukd1j5RG[]_ԄJO߆<[OQP+͡$Ge v<%]5oٖ7T+ܛ(W|.C'囈ԲY 9! zhIoʋh4ɎVn7m35󊬧['V 6RSJю0Է +Xjɻ*5=X66yppzzߌ-ͣr;<HGY%*]^GFÕߟuvQWR; Z`jU!RDL|=la}vִ٬\./ [+l'nD-KpT$峦9z'sREi[ΐF_t)I|}]R-s@q_P%1b1#qޖ4^*˝5>6}rfMS?rF.ZC5SsPw*P_:,6lw@@kSv yf;XuQY^*=UL\ό|.Ko?RFPem1(|' udşSHkW )'/:zLs a-͆"-^E\%.*+qZNT8TEZ~K"~b໗$r Pݦ5LL? uL mbj> s6f,fLy+e3}h>*9sJHcah?otc"ߏMDB!I"}{iʿ!hĥ,;ar~zqalI"69 8tgYZ7zXZִF! J]ŗXiɟ1˦r pt#M&")ohEduʓPfo0W߄y:ƓΖF\cW=uM~o]\fO+6.6<03yD"r(uRrh%iVAe2 1 SIFUM_Type_Systems?sMA" j257(m9`0r-MjrňRAwߡ1$cLK#/|=b^gI[$X "#:7+E3"Zl,'C ;5}[b}\bԤŴ'?l :b6z)h],C+&C=Gmщ_n >ɹs&kƁ;6gҒ٘Y(I$0jEZf)P2As贈׿ٹHk;c2T[h5ЪS&YR/^^_r<%dQ,?&_QTǺ`QHW+P-Kk") o{͂φWh$,z"1y! /O4-T⠈p+Xl C F^)g)UkTW-DnTvżabwyd0+3R"SJ*:Yj7%{VA4D($%Ֆ#x7g!;\xmj5Gp|R<^z(Kpn9YaVUp-Art Yڴ6(9zC I1w@՘Cxi~;R^"]R.6.<Y P0~Eߨl0c_;6qۍP5P |Y@j"+ GŒWw1ޫe@լ0O+PȬxVg`=hmEK#ndه-b豭v]ot>j'L Yp#1}ս3ؠ1gD1aiLuɣ5!<@*E&1!ee\Xuez7+>㸌S#=NXm:^fE)"YMrkA\1Ku'8r#,Yu?-+XO~.{a^ 6H@O S4MB&uMgzR_#N~_GNHynKXT؁U1廰zYh6Zciupq@"TT.o#h_.a5d'|E!7SE>Eeh"FЋ9I".Wj%pP(赺 ;_ @5q|c(Ja(wN2ӈJu7LkT&YF˩1wҕK7`w?]kJ_12.W=Ie.iOdw4A'T9O aϙD!D~BD!ׂ2 6(w(Hr1QQEL|Q슰{U =DR`^1 ؈GJ]x/_}={6a]UXR\Z^ M`Jaez h~Қ.U E? G+ee]ѭs>Wz瀂F|_'g,iXjmHOx;ח|ub0s8ÐCFq6X qSp򺤬Iݺ l~p eć3H߬rN}j@]ΎcJqsD?u2b,n %󕲾#D.z9IATY;.%(gWp zւie:TT&vpWv6 G] [ap[i.Fi=\yۖ\ē\%xoo9tm+HX_gѴi-Mg<`2;nC@)f;k®kU*{wbq/49l ץ;/,Btdé{+>#ﻒ[̊]kb ݀D'gi5\ɿ9)s(X{ Ϸq '/l"=*BHjLEb 6ЀdOkBASɼ:USI  Lb!Y,G@ SJvwbFel2<߆kkfQrZt:D%NJFBFUR[ ve