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 e) $ ]% Jordan_Hoelder:threads=2elapsed=19.713cpu=35.808gc=1.276factor=1.827zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃,j^Bw Ed· 郍ȷH|c;Y7yv~hzm]X6?\]:u=UԗFݲP-szqALG֖<T<LK=<^e0 ;(;J!V!5=#.v >w?,Y0vNgƹqc=YQ2H2ܖt]N{$Q bAmfvҦb{bbo8l2ÎO2 iMS9vSk1BWPW<˟+ٴ$e,- ey&NݛgQr`X\ƕQjB -nZC*4ScnQF4#ֱU8/CEKtg4'#\[2 -JAȬ,5`:kSe|h<͠B 3K5. aLP*!ֲd dl@ㅸ7e5LYSBJXN*e;&a]0&?gYZ7zXZִF! i ]ŗXi%6qZm?{œ] 6|`P&*yG5߯/5Wvi[30TVߝkJ:gn1AɶŰx>e@![=L|@HCC{VwQd؃ ެrN>ٽBFz%#P0R*w( p]xHhUxhr]*1)S!8jTq]륻16?9)"ErM~6<[|IX1 nG5i?㶜NACGs~$L9Q8l.1(vتypfZL lͱaD~:?#lFxoV-vQ Ţg {U@*n/o5 Iu> vDF|r33fӾ)[oS>5 ^=¡2Ԓ"@2u-I3M6X8zO25+Y"l{OoT{ _7ĥJ=EiȊQdFwu}Y^==gk$Ob"^ClWWA7( # ADx_)XCA\'tfw,fX}? #rQATnV؈}xgzT\k10!_^%C@O+԰Px5e2ig%gh L*͕Vb8se\僻-SH“H\cEنr\˾t̘dLNk}t Mpu6$|%߰~#ݷϼ+l(1JZ#߱!Q