SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info r 4 m/ MiniML:threads=2elapsed=11.287cpu=17.684gc=0.656factor=1.577zXZִF! :=]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{WW.tNupưuxMEpWHnS^G 5: y. 3~,9Yr{B!k[5/J6ulض%$`*g嬎}YJ{FnJ:.[N@=x%>aBpwZ<~4L(/Nr)9B3O׻7Cui͈7^xVD|Ij>8&&ONrQDP;"8`c*\6N~jVZ30VtkSȘqeL\@%a&VyC??kR2EJ3>$s LJJ|7@ qڼ4FƊ)@$)0bWRMVbjmup/Lh=wddX/g56댤t˜YF6 0@I`fcqO58_W+'*KLQ!gJvI6ls18A7b1[6}ёɩDfGy懽q?ǒEey3 &U TY1} w9~G.b%8rM7퓾u['IV[\-fϲJiG3L1ls|1 Ä}Ũv*!tgˡĞv!)ÝV _TS֝I4GEw[ҋA @d5)XXn:#[1nH*2:ʐw9;G,]51EgZ^QT瞙<;|N+S!*YFĝxUNG>$BknFH̓cjL/ʊkǮZlȨ/0DnN(LWwb> >P 2K#=H۪6VaSEO@n=Sg82#C w1tr]ִ=w|8侰ǜS9;TEF i=1$ =\Ή s6ҢK׎K wkCfTVw&#r"f)M%'{`{`@(r1G0#LbM:x^Vθ6v{CĆtC8QXf_WQҔo|9ʣ?btsjPƱp;wvX^)^ؖ}k"ڼ;$L3Tz ?kE>_+M+{qA"QI4jQex1IHdۥ4HҚXPRpL ;Oep[@#R_>gS iE_h_ITĐ})ZPN I8!i{8k)*׎ L~YagYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 361a84c3babe8d56c95f17b0f68db918080c2316 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457