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 7 | ]% HOL-Quotient_Examples:threads=6elapsed=26.510cpu=39.732gc=2.172factor=1.507zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%:5:9Ch*U۳@(j 0,15Ƃiߕ~gп(8Yx([ ,U_6tT6Ww<mz ᐹFM(Nܧ7,QՅ$va2V&^a9|kdk*qwKA7bö [JjYC՝}܀y ;Y'+?Ctq*A] qG%Cư!6ԫλsRU1kJq j0afK/wgGc}x K[]>Uz^7b'AKh^MNc^OFj^}`O7uxJ/R"Κ] ^#r5`||J8탦o+8Hf<5@sFuw̨ޭ[i{/uz/$5gYZ7zXZִF! ]ŗXi%92(B3Q1FAp+8m[푝$ᐫG_8ak 2d!)[>APx?pC+P#K6%Jd1(N *a!C׶,Wx{: nAt35r[KŘ>o -M㊖SP;g0mN ͞>_l~3GKE_q\6+&QK .߻|*UTę+~_q;8,M.]ſ?\o]rbL(B%|O&,G) Nh,C*| kzSR@AdLA7C񞝁ٔT5x T^UAp)W*T2a5i1eC8%O"VK1g-} 0Lf;gs!~MdP-> 2GF+K ›7PJ6]oi,^3#:~Sѿz}Ć-*FxLUw;NUpzSz n7k6 >4mT~iD4 {OHFwJ>@ q-_]T:Mnd,و{.Te{?\bT \*ʮ C"EoKa<<1r&a"!HYnI^'`K&| QL&0>CW(ELBEKW8f GST*3Ϫ