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 Y LL$ ]/ PLM:threads=2elapsed=32.462cpu=52.484gc=1.868factor=1.627zXZִF! '`]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I3QXcg 3?iT@oS bC<2qbc|1 G_h./scpkM%P\o<"TJ-Mh"}XBN92/M#/6V:c[Sbq+gP1:pR0R:\3,6JZxf4`?UWzDG>VJ3Mz(*tc',yO$L2^(cV݀ 6{uSq|_?¨@=z'}N/G\DT!qYr@at\ ԟ묮'xCYC.?>S 8^ؼC=Kp -b[!#D> J5>Pau5c)ێ~fhD\b) n/p.ʌO0ŖgYZ7zXZִF! .]ŗXiɟ1˦r p0+7bOa\ AT0_X,@1p+7f.1:|S}>Nu,E\B!Ό-'jˏR'g&}JTh1\+']¡c(Uaӂ֦]mK~w %Jq3@`|s/e^J$rycʚilPmhx]?چCȆ[~j,ŕ6 .clΥiXNx_ ڨ8<#mի+% QrC?֦G{);O02Sm.ԒL ?A>O qSGagyV7xʃ. H&H] @@[k wrs Ym mp 5`gYZ7zXZִF! Þ J]ŗXi%92nY3-y|c喝=RE`V} -\-d_e13YlrSaM6*D>+fB,aQQ2^"\guڦ/OZKB%ihs.vʚmY_=S rZa/iY|' xTWdpJQ4% ?C% KCYJW9` ,q̈́ p%uU,'l/ #RkJp憎hN̳,Q}>"$O"gY.36oW\e. K l扷r+/FHd7!c>f7ǏL$@ҝڵ #txdV@1HͪW#}N%nKhWk7h4 M 1g?ܞK䔤V=F4ahh-5a5_pˠ[pb||e>m3&ˌ;S=|ItƠN(/J\mfrhG @ [Wb~Vaa =ls\)TA_fHB6|Ŭצ L5B h{AC+}4g ~t9vi!v w.<} όWsŅ*֛˝w81YyZX-C21G q]>cM&ljji9!1{R0CMD}.M]9tV,Myх|k"ZQzRY*٫T9`@Iqd믱MCyI+Q:}Y B˓+P>qB>נ/0q&_;n4=a`Mw9@$v見! NwYxu' d Vk2i}i C!!8{%ѓg=w f{FC؍c0Ls`E)QO_lWk!fyg%aP$=TӯzYYq1L<`؉2bc8Ӓ5^-(#ۖ}SL)\6dġ,C2)kr¿TZX]-*h1`qyTԾ;#9 ƭlv<.ϞXjpєz~pqFL蘛ָ%Fq$q0n'Yի Ȍ\U{Mh/ܜu6N*O2 Dnijh,M-+5gCjsR/\rIhߟ0DS9[WLpH-`A_EW>eO מ:BWTuuGQ