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 Q T$d ]/]UPF:threads=2elapsed=30.339cpu=58.404gc=2.392factor=1.937zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zĎXaHBuyvvA:eSQcN-hmUU3% p](i9Ômq HSTR b,tKB=]puZj$W ~/"KpZk!WZ,KM_bc+!>)Ƹׇv R_[2Yߎ[+A,&ոpfq@v@ӫݞ8~F؀^(Exĭt LS|ƶ0J֡1u45LpEEWz:fĝ k8(LH\5Sr|AI#; C_箨d ͅDYˉ6_t֮}wQ[LCF[9={*D^Asdh)=U1S X(w_~*\<(vn x'j#RdX{jC{M]C.cy/"WeY1T `ن"eʫ …1$WO%;Nj$,ۥӨp3s]ۥK䘆d[ӥ0F! F?{:5Kr}#+/CI5v2/ d':1 q7^@M{a3}"gYZ7zXZִF!  ]ŗXiɟܤ#k0{/!sW/zaWK &n k5|ȖM,W%ƯM_ Gr \vf^e8OƌQR04yXu{VBcE)ڣvXf("Oa*We-:Ŋ_?&Yo%W}i!xp&%sGKe<`dDŢfBqnV;],#ZiY\U\[7hǿgYZ7zXZִF! R]ŗXi%9(R y - @,S!|ӲLjee ΋ZVG3ouvJ-2\ô<%kJ:6N}@j߰kA;p?'"=A?NHJ{Q5*):u( 7sB"u*䒥k(~&ʶRVg XxfP]a5}JU-f"k%$ Ю_Ds0oʅSc>Z&30̏g{B!d뒔pmŮ* u!oCvӫ*ɑ:ʶ>k+ˆ^?Q)g:FQ[/2[g~dK-ڍI =Z7rHN,i`>7f3cC:d xي2PPe)V[$خe֢r-9|xs`@#pbV8~7c 10G2(] VD~?ǘT>7OA,r<cpN!E7R6tO1H&Rˠ:(gmo3fX$gHFݘIaȠ,]싒ejrW[݄ cI((]qBp| F|ݲ=i΋X]Z=X\ a=O@űNL2kuL=i|LA5a6MD8T{jpʷFGD2w\x+nVYg/c.֙pM8R+?>)V3se\ SH&iѺ{M IsبQ:L ELɼ4+qu:nƒ?wFtԫ7PRo`W~~)A(HC]L_H˟n|&BkܷИK߻}sD>DwB˼B7[^{i7℘.v Q:ME~p}OOI@3vfh谒~y@qeN M?GQ^¬#M 0㤧4W]&p T {u  yp8O 'fcokA-eaqu("6=zX'oAЁJ9Fp`p[s.}?+Iզ?'n0|Ŋ*8=k 7\dgnMXbP[X,wH ׽Ra+C.;p/#V\o[*Ltj ^L5KR }Mp;م9(+[\Â!?J%K"Gŋ&ygsBÕ{J z숾foȮˆO \j9<9Ύ#N, ~ 媾͛z}+洔mpix0 q UȼTN8KtW M/O!/ XȜ>4Ы1']H`35;ow}mcӲ.FgYZ00dcf59fd81e357a8b5234042d61990bd9ff98112722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea19710c0f32bc22d42ff8b077c25065a860666add  UPF