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 3 < k/ Huffman:threads=2elapsed=11.992cpu=20.968gc=0.456factor=1.757zXZִF! ]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1Qq`*`,:7]hc~eqEq'!xutX.;6_Š\]_E$,:EN]D룔isə ˡ5;CvX%I$bLXW K瓣\ȹ=(ޭ߿4#8ry)[xTw[dQ^.28H$jP񉜖ނhEJ'f1EEG \?Ȉw93flL YoP Kr8gS3:$(╇&,z ӡJcYٳD+`3{>)}NMm-Yrb88v y.x,98KJGv'NQ~&2uv j!I\tЫ7.iS,rK~ټ;#ggYZ7zXZִF! DB]ŗXi%$Kc?]K+ lYƀΒ㣻9l IkgS?!>drnң]$,ϙ&zG7Ԛ0Sp6L/u:uO%op;֓4K=y3χ<țbLV5v+_eIڪ}\*+ީ*]g=EuG''i:+ bHO #;`){e~:ܔ٫r+lE6|ӹ¡V?ˁSׅDbE*#_^,XN6%e=;q5 WAA RbV_8PiI1JKy FNYސ1ӱQ}L{EMsn5[drݪ@)R