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   x3 | S Efficient-Mergesort:threads=2elapsed=10.923cpu=16.108gc=0.556factor=1.477zXZִF! 5]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÜYХ *S^]kdz:tdVC iSh%G }|SΠe= ?,$Bš :s,YG}]V|_Rd3PO T~z  ^x$<:@e$FFh㧜FʌUmDpҙLj$0U"P CœN1VБ' "j J\}(]:{1 ~7gYZ7zXZִF! <]ŗXi%}ϝM 6vR賿x"ĥ<^ , ~,Z}p6;pw]!ƹe;L-8vZO5=Tf' iYIM48B^P@nǜK"АkSYXPq_SW-thHgP-f=!p+%abX4.Mr4)P[೫F]gŞ~ssE*߆:;#3FN[KaUpM: ץ0x)Ǫ@GM=1g't x=>@"Lv tMoAaiQ@Fu# [98P:JUz2bì tSmm 0UH'&F "-Ҕ+M!uP|[|JR\Pf/,K6X"NZ8)ƺ 8L{eßdsgFoaq=${g`&2`)-PG0LMo. ԕ뛬N?n5|2vMs#j{WlfteۑH_\!R:Ҳa6ퟝe+oډ6T΁Iyӌ8Gk_0O9Tmb$\`J~>4Uu[2$[dm2* (֍! PN _M6d%,5UKKI(7'(5r`0tԪHӴjgt6AafƝf0WX○x+!.۫NvOdXң(+*{.~PفM}C^v=Gt q$ke[OPx}#:wy影gYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507b0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 3 Efficient-Mergesort