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 4 \  Category2:threads=2elapsed=18.455cpu=34.912gc=2.152factor=1.897zXZִF! L]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~@u.7bNU ʜ7g/ǵEb(1ґ*]*f!n(̖ 9P =&pSخ uY̓٦5q&+BɃ)XM# BՃBSYKA( s G{ӭw:Mc0@AXl*)S E!A-Eqaqh*ɜj)w2?5o ٞag7oEs{m>)B$Ԍ~0+1N-€ZU&9$,֨`QZkNmTJKNw2yUK:-(0eSdK{Tl*m1P_p-{hDA =gYZ7zXZִF! g]ŗXi%6SqSW2@bITT&cO[¼/TGq/=idp6QuBw:N۪LO_E:FRm7M֊W7/[LI٠n )8B"v4M>52Cc0èi/I21(F**AM< iӉ${Kq6bHXx D'EUTrdHV p>a([S!q\m5N!#A"tAQ$1A\iR7E |k#ɟTYmKAqMhJW au VM@D.8 VKj8'9A%aL娳BK]YoQ%;m%s0ZoJTVD~egSByk\+D,}w ^_UFS\}מ3QO"1`P9:(aSzY;eLDAcCĆR{/Y5̀Y*7ͬ73L\BP.[ v!1%O@V\nykP9дw9pfj};陗гEmy)\KE"S^0TO1VmY-ADIr(\"n99e N!9  .R(kБi7`^B)"dy1K-/-$߂zk1)@ R03Y^\I*jP BHSXox\Z}Rd0*:^Z˳"R`{iO ?v%e;!~-uӥ&-JLf#y<^gNdQu>~qeX~Z'vxйzLuš-%Ѩܚ6}<qF0d-%$Ȝ8`qRvnQ^K%-O͢ɽx^esg2hXB; _UOqI#Qa9%&Z1kR@~}*v٫yya T~q!%Th6Tt[~ jҦB%<*>Z4?6n);u1QNY@%AH'o:Ӱ 3h" K7ڄz~aM򷲂\.1!LV2Rrf{KޙޝUEuEР}*G_ sx&9XĪ4"qRZ-P d +gYZ1a85d643ff9daa78dc2008ddb49d7c4038929bd2 25d219649e986c48138819519bd57fbf0cc0129a 2eb5625e56755fda5ce3401b40beed5169cd2f93 2f668ac1a1893d2a5e14a760b9b035a34741b967 3e7dc5f169a50d41f92fa9dcce18ca6e6f0cb4fc 46e8c5b6de631db9e4a3bb68ae239a1957eec99e 513a81bf794efc8deac8947c77c06afd61249e42 8282a16f2d860a70a7c6cee5ef8261c8ae19609b 86fd7da255e0657d15e775a7170bdc58487beed1 9047213262f305724c9b6f8d7d1941eb424a1a8a b000116ec6ac689f1ec762430fc478a93e7852d1 b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 b655cfe8cb22898d4b4ce5762e1e15db5fa4599d f061effe1a39aad1953557c0a1606fc8143f9a30f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1   Category2