SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   z' $|L ]/ HotelKeyCards:threads=2elapsed=6.112cpu=11.904gc=0.256factor=1.957zXZִF! ]ŗXf1-/6vRZ݂ 4k:U>VHKWP"49, /kŻ5o];nvRnB:dWu!fut9J|3|7үA!W~ pWtW@3}B$IE\H/gMW]fO0ϖ[r 'dJ`RI~CC-VFuvpSY|AYR.Khs^%~ԁf 4Y عMmXfm m!o0k2&>^t\2&!n%ZVc*(KG=I [RJVLL.D]!kEEVHyc˦gYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AV1S, M;M5e7(l9*]㮸'^άʍc$al,,~k._M\LUmmFG jCE;E  N7GUV=@X<*nIzWkslgYZ7zXZִF! , ]ŗXi%ή++tI4ĤfRx㯟 d۬)x8_%-J/̧!#¶B½s?܇Qw-89eSnM?B \Je!ݎR(T'rLDM|!+݅,oTS돈O(EGR6@jN\%L,t@*:Z \jgL"Y="9/kQqې"hz0;X)ÂH(. 3U=s%%)@0ueᦔ&5X=siXG=MZDՒ5o}z@cRG(`@(Ld(*WH$ɾig4ܩm_G֛LGd|Am*{!i!QG}%ުdcYD5L+_)a-אVG'{6ړOΣs..~򸱕h hf!$U&ֻ>/ԕ\>i4l\_.:}x