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 XX% D S/ AVL-Trees:threads=2elapsed=18.121cpu=36.140gc=0.852factor=1.997zXZִF! 3\]ŗXf1-/6vRZ\2_:oFEQUUo2ɸzZVTUW\?l,--1@Z05yxpE)bp̲sAfRj` c[\5(״Zi҄mKFbvŘe!ٙr{TZ%޹Y"'];Q:oщwFX&0ӗKWw7S9ziA+`ݧ Le09s8Y_%%ۈf~mNe}<"YMo2miv9_^P7 sh]T? -`#ס:|IU̦, kC.91)`1$K.hOT-[(-ȲкCtQckâ,MpʪcMӇx߬0"1 z?j +@םEПD)*KDPL10 &wVs$] jJGeHFK&Mt ٹ %5RWqhzf UdOgRtF=jMMґ.#FƙɆ[pC&$mAN+EtHK[5ޜ@K 6Pl}TPV kO_(M ⡶vɏFE6.;Nج4 l[WbUԴ~^P~DUjC;Guo5e;~"&~G$twˌr)/JseCfdSGlk)"'ld%D&;DR(͆紐-]!bhkQNxNTLx!TشyoKR&-8(q yO>W-6nek!P.6',!nʔ ω& iX>/}OKV ?XaKh0EܟVȽ9@n-~-~OJ[:RfQOWK?{$B?/II>vZc3j1Gxlz,A#J;*LaQ{yx#d,?ؖ1TE̗E9X6B cDvki魮2 kU|31TrɸrҶΘ.= 9a+cs]|ۇy[J?U#/JBo€ٟ3U34