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 RR+ d s/]HOL-Word:threads=6elapsed=8.722cpu=37.644gc=1.300factor=4.327zXZִF! z]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z>PYN+F֍ #JafIX$̙JV45=nLJ|Ɂ;] ì3jg*nҼ%d?R Gl>UxZ~ڳ;^X=X/SYB?Dؖ9 (GQWB q:ͥc*!q>RlE'we_F%YY$*:2yCA:@ N4 FۿGOmiM8Ly=fBFOgn+Ҫf!RMKGTJVSOʫ8sg+b15DTnLCR> 7$ˢye7Wp=5b&sěp<'ƒyo/Ba yWaIX,3q6G.hGRDmF,N;_y%Zo;=MΛN`5L?UR__QS=3!WЮ9y.B#2bgYZ7zXZִF! *{]ŗXi%6re K#ba T 7DqR6=)S,. %8~e2}HeO *;}D2c%9S%c5oOEFXnE iyLGWM_>TMc9ƘG@7A|xP8t1)a|9;Ajp pQAQoײ/-l?S :#l [ `xuSc?]*_t:vDs8|p O JY3ֱA z.3Cux[oԷgydR ZF{!f)['mehVh#pgxːkg+s &Nq_b=kyӲS:OVL'dk UPw>9  Nvn[5Z ߋ|4BCUgS P:FH̽S_-GŶCX(\I''o$)cmCJjEZP-$~TeS:0M+ W{c&] nf9]}o3@/1ie {)@7qXķ30 uRPIwvCPs4ߕS&BB̘s@ l*mkJW