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 o% $4d ]I Stern_Brocot:threads=2elapsed=33.573cpu=52.864gc=3.620factor=1.577zXZִF! ]ŗXf1-/6vR[]ׇvb1߁ݶ*7?DP8.[(FTUQHOY>w_;<ӫ:ޡg=4k86+]A9cq;8U u&bE7D8"/4T/ |lXgmb4f1bAhh#- ?J 9oCs{uJklJropf3B͍XN+ u3O3s5v@p$RD!R:`MJ4-֚| n.&x\h{_8 Ƙ%ohmpVHI`i+2kC eB%n'l0r^* ,Aէ}tfǺ [ Zʃz/8|G:߄hV~ J_K 6\8 ,%ˈβ>|Jys"*:ֿ9!k|:ul|^VBeo֠$W|MLr:y|lUt.hXhjPa)ԊYGW!äJw0 RA;#nND$٪Qxm>|,2R3|zf uc,(^ApuیG9$*2۬SXuki޺g2 J+ËȮ[X\peUmdH'/ +Yg ' 38Mm`VN\9Uem"7͏}SI"4{y]Z:ҒAր 89MTS H=Eΰ>^g " ^5[O8ol|qx*Hwy+/(X'Q3tdCW=hIhZG5@ {@Ajn^[xjLakZ&^JW6i3=ia\"qaHB YǶ}M֟ڧnd]VfQjm?L7ızvE1M13m\r*9xbE2Wa o|(qasgq*> {fvP]9A]@xQhs>66䊆`n4N9Ii\Tar+>xJ