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 m% Ld % Sturm_Tarski:threads=2elapsed=16.770cpu=33.100gc=0.456factor=1.977zXZִF % Sturm_Tarski! }_]ŗXf1-/6vR[]S#L35Ά%.wfnMZ2PzӪ܎aޓUkJ (*HO^BuOAOJ _UaJfd;I~BA.IK@~E&LNEⶐ [ +ol49]7ys}g$y_k2ᩊƷiIGuSR^Ѿ;M+Io3*bqqdMG7áT+,.Z Frs;_0X x!fг Y/{MSQڈKƥ4ls0aA Ʀrxlmm\ w38<Ϲ{)wBm߷֓w37GEȥ|0y3am@pV[;G 'dJ*Jcn=̋wρ|0QM( hLA+ r\tBJ$͏TH}x-bjL0>N97y^`8)($jAOc#嬒)a`TZ"r!kpP+7:Q1ُ.zP/?l7'ՕVyQumҺ}۞z9͘ 3S<Ɋf|֮zӳ(CG!e%1q: %~ĭ~!rO@Fx^fr.OI$5d'̷K yE)wthSd/+OAf#-DХmWŵR'ZW@Ct;AAܙk>Ч͵6lKSO/I@kѻD2lbkARN mbZ^"|_o?\J]e_cE|80U '9Ֆ@s'3)Uh$~σe{jXl׈1\ᦙ+SkIdvr SU歰-6s x]͎@}>t|YlΜu>rU,kSZ->R+_+tZ|Ycw3y97ыоϹpEY#UW-6Q Ik(0=Π3 BX0MeAz_VF.(k+N)ò"3JK/E6yY^]sEO&I57j2A,"yIO>3 sy5>Ǣ:4qyUb4&F!^%ng:*ot泅a4߀ո8o}\`ƎSTp;rv s&Z3 ѽd{8x[JȨeQ iW_[OdB>me ֜T mk:ZΉelK3gigvcR\ Q/& עfv ]"1 $XðbAX , {Z0<ؗ IqjI pEB)!AHr+B)'W?$XwkD<Q^clΜd!m;*&K3Ɲ1I&Si,.[# dQ\0PA6?>[@k?h~C Q SfS @l! p! ḬX1 }Om_^!@sQk$i^ }~|ڦkZ߱͑ru|/w3X5V nBytW'-챜gaF;~J?ulyɷIE-̪G#R" 6JZSϾ. >MXFyB~IJO?ϖN~K\R03p.H* al)ۛami#S#Yɝ'#uS?k0#p!AS48C}dedzwޤhV2L2cIdx~'4cdCܶ~8i ^xC&327U~A7/KVyARHOO[be)]*B/_7EA'l<} ݷXqgYZ373e17a74a5d45401c95237fd8ea5f1c9a3245c0 5e6ec03e8ba176f4b1d714778fffed9b0c81dcf8 7484ac13bdadf5d7db4dce48410fdd5e64a042ca c717c73f0a67903194e6112d21cf74647899fe92 d9c238d1006300c8d53bbc0550a820903309c88c3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 9d16446985398a9a4a5a5c5d9f4c3cd654f14764