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 ^# d< i/ CISC-Kernel:threads=2elapsed=22.474cpu=41.820gc=1.616factor=1.867zXZִF! !l]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee8J@J3=-|{4zike4orvJIEުV.D4GaPȩM&+ 'Zxy\DB<ơ6GtB]لZpH7rW)$/~۟;ѓ!ILR6Z0)fM)3g9(TCcކ[1 W Oz S=:1Fq&ctf5j:uhnI NJ֢FLx]vsăۯxpld1^`U5wH8'v,`SY(og@fwd|Jb,a1u{nHʻ9h]!SuVUm>ޖsᆨόh -p뭇ΚgtL}ёC 'ևd[ozJZ}l|%j{w?r%Gvi61%ެu%%,6ѷ'bu{-0% f/xeU  IW!zo0`!Ԭ/g[Ɲ7a~9o9ډɯ&`IK&Bu"gYZ7zXZִF! zx]ŗXi%6lꍗ(4z~u-3Ҷ&_tyfо=[߆kK*о8/&,Ql`&׈(fh4jkvV#I'7BwZr /m3/>tLz/jX"e233KUDo}h vYdJ+𝌳>`QIk`TE+ݫw00`cFǍq98K7mR#X/-jko_[)u/Ao42yC< nsLˈ%j_O)_O.Y3sI/t#X$l$V>;sRc4vzpNlW^U/P-'ۄAu**!͐A| Q"/ pKʋ,j)dnR'F\ K(bEh'o"C>6GWf`߯Hh6]0 ï*;t.QTI)6ĎJ4<{rATEp8%>tTqݩ,Zq_ZHq E*-TuH(']YVQUL, U%Ͽ5uck%-Ns0XP\ܠKnxAykXjGU(T*ׂz@ vZJnC*~\0\F )N wM `3/:^"a8Y,~koMORL;isóN L c]@h| ?2?8xTiPt|<*Լo :h:us3_.,rJRdĻZ&bf9u)J %b GUy7?,~~ 3 IAt!@kG#%* -M^4J/.$pTBD0:]ѿG^7 ԅP;;c\>W l FXNԺ`qI;$ÌA۠ʠZT[S&"Sk_b>)+d7@͍IUBS7KI*p<ro\ nБ Ta^h_b Q A쿹*t^j#!c%P/*[*V:hDs!/m5Sjjm: J:z!M/%dvz Rь㭢]jssl:164Sd%I+#& Dq[ fK`Qò'!!Yp\ .-`l##) ddd0Ad2©皼5s(.pZ`T%R`>{5噧?3޹F r