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 v- lT ]/ ZF-Constructible:threads=2elapsed=19.514cpu=37.100gc=7.448factor=1.907zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}όBIS.E~b j#_A3 ?h$&';m7&;SBY=&W1׃l; Gt)K/E8s>8+X]+ X;w?' ;qMŽw=s_5=rQ,&}fjW(jҦK=c𮉣P{G6) $: <_{0PmfhAڧøeakj5^umwfC!S71S"44ƱgYZ7zXZִF! n]ŗXiɟ95ZrY!Zg>3gAKr*Abc<=K.aע;h^//+b߱5N=˫h* EawIW:Ȫ }`&8<,rA JѮ(.CE EsCRNop&l*2Wﺚ6>kӴ𦱹8O`xptr}睒&WgC? B_W=4Rh A JsfLY~T٬¦>)f`ɣv?nRjy4Gx'vOG`dV%~ W7gYZ7zXZִF! l]ŗXi%96BTbPwu;M]v@hOӀjL3.giNuj. aܺBނ? Px:MRNhM ӊ!&+( [ [$n&[,9Ɨʽ\'bӣvw7-Ҏ-^ui7 :^==b1Y .oJ9Sa '۫PjJC)n.gUH*IdcQxSaAVU:Bk%`Q| 4X$eёŻ[]zk(669psCBksz3⎈h{gnmW]ngܥVtR)헣Z MmnU܏#&$ ϋspJk4&_z] ' l`h8z)VCo" ӂrA*|aWb3I[F^8sMc d/xXng$6O 70t%?ښ{(`_Phpo:mȃ=bHʓͶC8lT`{-](Ŋ'E33aHT* Lsaȩ!zgעy?a9k