SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 :/ < ]I SDS_Impossibility:threads=2elapsed=59.250cpu=81.080gc=1.720factor=1.377zXZִF! U]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,?Uh հ($ n+JVBP@4MBrK-͒;4 ώE'Mi(.0Zټ1  FP,?_bgK/K^=̂uÔ͙⽐h J6j}G.dȷmij=ɭ(`FvE[4_Yqi(w_1RnvLqᯭog7 HIv\ege*ϧRG%G&n\鎢$j!J oE0 / SDS_Impossibility5ωlqvg&A!UHIg7hJ[Q6,TʼnV8˖M^t9_<_gR~:%Dn{m$di}Uljfj?Ί|I17wKp:ii$4#X)xQTrKxTQl4+U:S Zy7ܳ.`$-UɉV>t5;x#5Z-`~yk{\=Atmd=rJk=sTu8l2w{nd6B1 <1]̺\TK[PO [IC7,}hM mO5O ֏>R>CDOOJg?=`HLShu_eޟ>nE n9ng`3ܤ{-%ўcq#@~6/q8#pCbƩQҐZM"x<1b e)m,弲CC` eNhƾҺH$ZO}wcrtkSKt!bBhӔoiJukRo/:Ja2\G3Tqli$7z;5 \ 0ܲA}hH~יxqvSbqACظ RϪy4 !~얷,mgYn_"M՚㚞 -Ah ; <;GiUuC箉gu@ ,|A'tN346k6CRc0tdCu ,.1K'ܩX (vê\獯J3`XԾ ߬(U7gi `?GEYh'nJ a@I>[u =$يp+VŽe2$I"<\N+U=ӗN8OdnPߓmmAI!WO*}G A<;D$<&[%VT'hP*6Ѵ:sj{UtYIP|%26Y=f}CN҉BF {izSt0-cR%l~0ʯjsjչMFep+"w 6yLoN$b0%g*My@c/MZIw5nG RZBfpjjo$J4x\Br@k)A@fqJ*Lcdh#L+Q*N”éEw%>a8՟MǙ]9P$w:LAWSvs%,a*U.d|PvNڜ [ֹP"}≄*ѢQ|$ Q_mhj蜛W cY&)^,&"Z|Q X:INI(:c2vZe&X/ DdV9a>mČ؏; 5u~mTϖdH.]//ZzamA"?w 0OAu\wKG J+53zK BÕ>?U]B2aZ (j%99)p2dObLKOjF/gm^"Ӕ<10TѮl=nћD6j=3! zLӏ^[lU1P7E*ɸf mx@|z IB>/slev A^KeJy'GGl{Ԙ} DDŽQnL-8Ձre$t\tEy'Yl ܄'KcN9jzꂸ wkM~3*&r$yFxþo8":)gYZ94afe91fb68dbcad390432dec0573008e2850d460a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 71b61bb1af1b6239c53bd9e18a9914ea83e4037c 325cc4456aa49fb775e99e30a6715fab03e51e5b