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 6# \$ ] Shivers-CFA:threads=2elapsed=27.717cpu=54.600gc=2.500factor=1.977zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k(yG!eBeڵ!4BΩS ԉoJj镼iBgYZ7zXZִF! NC]ŗXiɟ1˦rnzx <@0+gMLS/@ϾK낰z8;Pjk3نZ3!_y18a O?M$\B̟v=d EG D̰5w`{N`m|Tc$oNF3_R c+=IVݟ'Diɻ!aC9VJ,wekKj y;+L|ϏBe^anqT6wN +#9x0#kzgYZ7zXZִF! ]ŗXi%ή++ N0Ñgf[0Y6#Q_ƠRȐ~w\ݐ ZժvKb7~ZF4j}x|ѐ.j(wVZe /eۜ_?NMM>L4%py ߺjTԥ+ ~m 裗yA1Mj5_5EOsPGxBY࿽v_^9se[F 3 n NHoo $oZp(#R&`|UBpA9 !]v>bn$k(IwvA%*wl KJrCb9g"]RVkpQΐ96?hv]#s A zmQ䒩>65;6C^S|=֙F;Gk8$z_AZHmZx#4Ģ#?j=$AKXa=8 1>OU鹺L(3pJ+u\l(pMFc>}bX0DKG6I2 8b^oXz(w4$I[1RX$ƻYڵ(Y򙑳+_Yu8~-W̩ rAW*g,|Wdg4{+E6ʚNGZYs7QAg""KlT7&9Q=E8t Ws{& ;o6 9J#ծr!Wy;\i }"GB.ve:#X} x_6X16ƃ9ut<m (J O@@305@I02UbTD"}bmSFnۃ/3 WCՋ*JH [Cps0RY׵R/}HKn·)t{г5x`6d.h :;WN.o) aqҸ1l۲L4pJ"#J-npo:ʒ$G=I2}Rkk Z/i|J ׁ |0O:~uBqs/V>ItJ@xX=@