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 ww1 ld ]S HOL-Probability-ex:threads=6elapsed=26.720cpu=44.404gc=1.136factor=1.667zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E?YiMV4G09w `ʄuഌ/D`Lt}I?jD%f6nŕጦ(e'KG_b %5jXlq!JW߂ )pYAoW\tIaھM,^_8[t^ȇNSMA2D\@=4mP }#%h|փ{1TfrK$+=  =O akBow3)Rq[_޾Z ]h[&A s^%)}ǡkZHTD٪}9]Ҵ kGr7ྙ 7Lq:bjo1vKnZ/x@. $ܜz$A,c&kJ(DS*D/RӊgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >\ێ\7$F޵H)4nSq@vFJ7O&݂'8gWV*U \i`, 9,¸o,: \sv&|TPMIW I O653Iv;A= m g&q. ju޹XBW0 V`dJ;c~t혌?zP7on;MInɍ,pA )f .yCbf'\-66(Yl,Ir'2&ԓ %nE_H`BWs|5D2Ӂ}m*-Jn^B6"țr+ʚ ?