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 W7 4, / Coinductive_Languages:threads=2elapsed=21.174cpu=37.648gc=1.356factor=1.787zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+++8ix$x^ ^NnL}1j<(ImwfPVec"RYc .&PC[n*-#Κ _ۀgRh v&ծFOPF5"W } >MTG #7d$$'J?>nO4vehɥ)wRU7gL ,Hv![-HҋmRgeʇ$V4:Fͤd3)heTz6t:&?* EhZ>.T 57|9\>md5*l:b(L#{ud4,)Vu6KUxC%+t ^}fXUSr4(CV]y53G$zl#6,-Ll'$ߓIOFEliq{ ґD DQݥ$4(KTϚٝWAqhW @ZNxg[5:.*g(z rV$ h:mBv%WT1C-VI|$ك8Wg2#؀K13蝄#69^ rg}W,l|#dI5E(aPn[G77K _+ogJY2 k"̖+4ŒwƠϴ\7۟۠-.RiFijZpAy"K8obđ*#cK=73~A#3뒴B;+eH5-nv|'x,=J5#ퟆD-]E -x|tpTe#jIw2ǥgb}e8>&A#aƎInQ+kƠ9w[D글# $5j{0]H۱2 Kr7?ɺeKIZ*-FG]=:ݾV+ߏõI=ÉhTof9@f83YޞEeD*جYDd$Hl1jHҶc!c8Qx~kg7D"iw 1kt99t s! u?U-2'E*.%g4jOVl-aszŷML9\?ϺH aZ6"֙Goc{Ú4M%XFPe9*w6BDD5cD%0g˙; W}#Ϯ6nT*E"3舐%cwIT i~7)܋opd&onlb47`:,Plt@dIZwiJ 2N" Evv )HrYPVO`ؔʿuTu /YEB&d(ggg@ncu~``FA=1&0/ p;wt z YCde9lf'xg݆v! 9e}b\tn[U\6=˪X2zaIOܞJ*طq.hQ>5=F""WP)meҶ ~