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 G= T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.418cpu=23.504gc=1.024factor=2.797zXZִF! C]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa ޽,DjO$L}$Jk'Y V93x¨kU,k{6l6Pf)H7<7]-Yݟ׭n2b7wUCHr}=}3zV=phN0A;I2b: tC&Q,V :%G8_pYP,sR|^K b1ϝjXߺeoDxw/@- FbgYZ7zXZִF! d]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>) 1ags(79Y [3tvTe9[_ĉ"oTB qH<"hX2hF$kWb\^drgZ[st; NW*VAN˗ #QM[fT fL7Ϗt5yfz9i>\-B |s Uv|#U']dn^|}^E~5_'ҕm=/îS^/W_;ީ>f'v١rz KgYZ7zXZִF! *_]ŗXi%90!Ӟ$ZiKl;(,{wh5̬x*P\% Ml `t/pCQ\~8"yR't|bnqC87n{ t{@||J~q` 5y΅Ԧ׺r>=DC'[H窓 X&}M[MH}wX`uՄ%O!/^za0 fp0B091 B"#;n~k6MwE.&aXu7PE• WS.F+[ON{ٳIO}׼XâoN&/É鑥j@EJM\oQQ *JihpФz~a ͗&NdC"_;˺6MdS^Qxb G?ߡjYA'(R,L _ƇWwݷ?9,H Σhh˪&YQ)bAK91tm-]"f+ev,4 \w Q'ZQ&k