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 $1 $l w/ RefinementReactive:threads=2elapsed=16.318cpu=21.924gc=0.428factor=1.347zXZִF! L]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO,ʀPOG"6PB _k܁EԹo(SRi' *N}؄HbIGiHDrf&jr*W'{CK-1ݥ-Zת,4WݵAhwT6+=DЌ4a+^IO; A&D.˦N+ӈrɎ\41_pGn kዖ}!QX [iӾb#F*RH m4:gZ=egYZ7zXZִF! V]ŗXi%6x }sN#}S4`RʜaTZopreByIs`ߕH0ZAxހu=^}иcZK3سMJ0Ժ1CH?d ?eKYԤ іPEzCE-ÿnq$\ iO{qAzt2 (^0JDCjyaˀ\̥tUt#K&WkTn\Uwc,I%b0Ƥ#7G@_Q=FS0dۘl"`2/Bä́HACOg8 j\VK /¢lAeD 7 ډQg fo3?A 逰BHǥ8Wp0P-^oPd$!W "zn$2Y͌gI\v..(5A,,/݆ؓmvP!;Zmsb\1Z:F~ׄ$G A_W+SnT&BͅFM%qм`t!3,e^7ufB^Dž@4^UgxËEWV$ҏ>P٪ӷBޑjiۇ/K%5j`hNriYL[rԕhϐNnjTV陱0):[KtwY(Ci qOBd[")`_{^1r|)`?+{ 3\ Ƚ/S76!,-6Qٶg/[_p/+& ԹR1K>;^6_1 V:Vbn1dz=DOa6VAv: ^$MCZQk+X]