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 Y% ,\ w/ VolpanoSmith:threads=2elapsed=8.963cpu=15.636gc=0.596factor=1.747zXZִF! ]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7H3cVaMsp wyi% @Rk)?KSKb<9PFYe YHn0_69by:4؎Pm; Ai霻8k34.(~0R9 q"q[7_#N)5ʐt~wAv˿×\[#,.>dp@Eufld= K-]˕9TXϏhGY/dw)p/oIP(gc$ShGi:7Hpc _&E2vgYZ7zXZִF! 5]ŗXi%6yN yz\+1h UH0IJxl^#[h^u^J$^=Qsx5\@KnC tn`Jx ) ot599o}nVWL6Eqaf!~2!IJk'Y^^$^D܁]"脙b^A tPu3HQ 2wM Xr;{1P'QعZF yt',DTtjQ-.,(fu+3jEm"rSMcq ͽɇ1ETlJM8'puuyn/0ͼE cY[;d'zQ1N%g*.ΕyC}JjY5λfx} 0 /] 8b98r5LR_$)lOfZgQ[' !iJdjگ7`<A$b.D yDCGzp]TsmfP(XF.IJ%I!?ce? R#Jdqmº(L)-)^N7Ւ 8P.-[&_V0(dg'eqMFhǨu Hq\0 ,#'$#>]j"N9yW3Mghyդn#/7hflCУP߬I -4ؓXn?3pĪl 7<%N ^SFwz+Sv 7D4K;p/P0q8Op[rx ]0p{'a=M̅h #PUގX@\$A ;LHkgYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b2f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 % VolpanoSmith