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 GG6 T,$ ] XML:threads=2elapsed=18.584cpu=28.364gc=2.096factor=1.537zXZִF! ]ŗXf1-/6vRZyjg 78pl ?e7g.j;f\xCLmCw$'R zl5-WMO4]]RR./&?bh-y_% 60O\8Ѩyݻ`ns T]AJbUpT-"K^a- 2R["x24ʤ`u%I_O&씂zw fa -1x(%N9^>Uf8W Y~~,"la]S@uZ!%#pp`a)\ b*o̎K`ԗoD. j93X6"@yE7OoId 7JsaϹe3jθ,\xST=K|:ˎr!N9vʠ{\ Oc,X~s8(8Z+^PHq!߯IOkp2zpԇ p 30飩zZ͚(Ts7VT/"c(O(ۡlR`fM GbmcfzWaE6N75WB>AN$RdqMcpթi/57]6WI.[7󣁂-!Cy$= "I(-1\7&6\/`9cgYZ7zXZִF!  ]ŗXiɟ|E\Ât+.*aphG)%uGİZ_3L+Vݞ@"gTt6s|fUt? DMi+s_TPW> f⯮DD׻~׀eQg/I/;ReɿݡT貊}*k%kXYX d۲"ʡ 3uΣ[uyC eےϠf|[4| c- -pwjֱgYZ7zXZִF! ^ ]ŗXi%9(SNOZmAԎ| _ձhHz 4~`BҡQ>i@]3EJ[ v|?e4?~̝;NѾBA}Acf>H/0'sp' DW(4qph iָӿp$iHP e(l:T[`.}8Zi;p&GۥQoP|p}s*صB CEHNI5/VS"Nqjb{+CH2nF_vUA+&&|o Jj'F! ᷢ) XH^|cAAr/Ejb;;2^sKIx\sZ̕C\覡F-Q} }gp9ѿ7*6@6{(љ!R'83KQ vHJ<&/y,ћN+f%.SG~L) R2GƜ3Mg١/%,S F =_> cBVے}{)qd<.`~Ö[==EIhk.s6E^-n2pVpy1>Qt%2,zٙDЛ;I8wB{-ACaN?8a3 :S8 Z?L ss{hAuRykv ަ#޳eP\6=WS@na$` Q΀KFj9ܜ?_@x[ !?|rg)'?2BS lM.ٹ:N9EP"wO+4 q}j4 EmhDD7ۣ]G(ɖյA98^Ay#+@1xʍQ_=> 2C#+YT!skÆ9C;& rlhɛeb}Tal ":O 1/2&2}/n Bɸo@#ۆ,C2=^EZ*{xf6(mmkt^KI fH OȚa|s?.Ɯ5l4]f(#ʰ[t M_{#Ѥ(̴~mTLz>%_ zgYZ8933ed3414c2f763a9c8d636d346ad1d3807c25c2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af  XML