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$ ]/ FLP:threads=2elapsed=20.869cpu=38.436gc=1.304factor=1.847zXZִF! ]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gҊpiMv&uǰ3gt>&Ykw[?%~$t1kѸIss ׬5Z7_mo[6Jj;oKdp [4nܠKW;*A jǴ %[{yԘ׶whGK?ə&vj"yl\ 1Yn0(.77|iy}iwcWI"zCꌽ{IOG> v J6FP_ni/޺ H.O㝣z+F]mjCU#b!̙-/D9V#,syj~kpLxciO2?@GAzpfs#qjqĈL)>;MzlLWLwkP`r.?CvC Hhƃ!/mwmƻ,Ʋi*̭<:o&ʞ`&wvm\Ss 0K (\.rIs(Y 褕xpI8߼vrt0(,I+7_~gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝRCdz^ `Djх&CRO?!89&S~[tX KFH! V[V`߲=Cw=QI?B31EٓL>xQNVrgo'VA@SWOo͑/@+i7nvq.0S>[+`w`.gYZ7zXZִF! srK]ŗXi%W~лڢB3 mj)=iΎ/B`mLSK]Ggttbw so`O + rxS(Ӕڝ2iϮwcJg7x>i"x[ eer؏`e8![hA(Xn_ W+r~(Xb$TYr-dq,4L/A]wٽѶj`X@c$@-2-I JMAC'.LK(|~AVzEb߀&;W E08d(O:6RodY&7\}9p^T]gV%ȵM'Ҳsq %h+yc's}'zvaz)oz2K&?9J[=<U$Xn+8,W3t P"W`gKըnѧomOiިc`Z/bכJw}2]CL#ϛzގ{|G}Sl@O'n:[bEdM`_QbC,= noCбv&3䖾%OQN9ܲ>pcvs4+H?վ#4d6N#1d%o) ϹTɨ:Ze߆_8AN5`VzS3>/m@?Sm. MMZ􉘱y~jM~/u^Fͬ.- E" 'R.ґ~3lAة&`, lJKrK>[?{$t2}fbr _Nuo8D8&/*4@W7թS6~ +[: 5U\xq\яX$11{MױcJg)jޟf e=A~13qx֢^n!ytI5|x]S f-7D鐍?Ku(NÌ 0WmO}:-(NfiQu(̼őƗl"v ?{85;JD@hj# ۟ 6C-gYZ562b5f211e5968105733ab2cd8d0a4bfc423e27dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e  FLP