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 O' $\D ] HOL-Cardinals:threads=6elapsed=6.391cpu=33.648gc=1.148factor=5.277zXZִF!  ]ŗXf1-q恈<-¡$johkX2I)']8PIyZ+;EiS,=GOĿ۬J!唽>|{s~xyqtI~|lSBG*ا 1 P3vRtng83κ ci3nB6I? I%T9(jJ^Py*V*Ε,ClԆswkhP˶;B:Czrmcg1Rs}isc?RWcU֭k ٟznfV\T=5QŦwEz$2u>Sd4Yp  LвD.tT:MMN )m#g w\Q}$c> j- f1P:ҹXL!  k&ɉu  7 #$&?tL>0j/&gwGwJ h Xc8gYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 z 2mzO?b) >2 =I}Qh=)   -7-s2 N;PacW*QnrH<Wr|"X _8#fjX'oϱ ][,PŭE姟֛{(E]y1פ`0%v(tk?x "GY6Y8,m':ru*'pB2ҡ&q; e 01Ai" =K^wgYZ7zXZִF! Z]ŗXi%90!D!\wǖH9=uuWN>Gc㣻~ͥwۢYQ{>UTJEɩSۏdpr&t>sNV);G}UK L~^<>v䄆EN#Z:~ꬑ o!W.~rgU1AHUa&yaQ#>!杢` \K}S&y.r*ͺk7|Z΀<6Th-7bNGscfBƯR<iFCњ qp3p-+7NnFKĻ`|C% VjGxYWEH79y/heL=B(<\%seެq#55U+G3q(Ι.[B6#c ;})'R4&"ʯhlޛa}Y @W*An;(E:WZS!q)t^/ה.?y0QdO 0b'ҹ6KEӑ mpإn-&y{q_—:x|ta8vbxmH%Vipy__+wE5 \DK;<,U {ŵ0gVn!_[ᙚbP