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 =% $, w/ VolpanoSmith:threads=2elapsed=9.024cpu=15.312gc=0.500factor=1.707zXZִF! ]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7H4YhUH!aꞴҌBnz f%j] o,$i֌t>ˠRx._׍ta#rl4^#}~̏{ W.()z>U%d-?(&(|.M*2#jc;3 fݻ+7vU!i >Dfܐ:"mܤJMi`XԐV[Jd{n>kJ$,hmB * gYZ7zXZִF! 5]ŗXi%6 žr`9O/ξX0a-j-\pu{q ɴY9leFV\lw>]lZ&%PkAMmΦ.maW-m@y#FCiqqMyB"l Kb=~|XWbV/#h.?qh.vPr:g9Wbs$'Tm+Mkfu}Nho[[6U]ZB.k (R—?L߽CK J_L#J@bR(^qGZVO(B[P]s" -1"U%u{(s l3|ĘMWFAIS xN|ua ,1'R(s$3ڑmQ@H7ƫX{TPYN)؞9]ZYduX"wk1 E)z/^-$>Y &+M ERi۶Qwho r1 a/c 1D7~Oaf$~zOt~< C y;eʠTm!`q.eݥvj{N.3 ׮BjdO3́m\gq֎;>]H@ڕ!J\B\ƈ /bom[&z~^ MSH CË-"@I^iW~j󬱬 Ƌ=3ܷ8hzK&?Zbzo7ήؘQAvD"M!zW6< mCP?o/-m(ir-cxgS-RJx'̄}DhR/Tgo@nFt!\akk1gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b2b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 % VolpanoSmith