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 nE l4 ]/ Name_Carrying_Type_Inference:threads=2elapsed=21.548cpu=37.512gc=1.620factor=1.747zXZִF! po]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3er=6YdWb|5b tkA #+!AO S!r{@?+#ѯ{J$(>h^U,?W[.UK[&2_*} }y4/?6[!tGBN#\d2Vk };6^Dn^,}gk$s:ʇf1㽚+خ.#gg"P4ٰڿa-b&P{'0jbZѼ4xL'Z2դ]Sz6,T7DD>^AA^)X6DtdB{<|ޗcKT.S2d-jKEp_v~I>oMwËX<߆yţ=m>Il+Q.BGHoWG-@.cwIגY6_o?ʧx2 ԘMȞ-2tBGTXdv}wbwܖqc0+segYZ7zXZִF! p]ŗXiɟż]7dSWFQ'8x^SbZ r(!}hg:3Xb)% ;rB,yx-ˑZ- MObA:$'$#-O%)mDȜVZ eKoKٱgYZ7zXZִF! xA]ŗXi%W~лk&a%~_Lvٻɞjh˺{>H.@z$P7G7ՃQ(VK$8A2T/ NǕ,n7R|KyG}V>ԭ"-V0J9"TNcÅmax"" }t1t!#ccB3>,qcnBsDԳ?͛u.+܌g 6NƐ#nA"Y5t&mDZť ooq^ݰtPZpV9qfW'%Q0jp.Z۪iurX/ [kUl@MzꉺcEYD}٪NwFz[xX[v1y3*ٟѭRδjg.,_*M"UwofQ"Nvj% G2q94҈%=?yG9cT~.7/8?l=]XKD.h;L i"_1^*3P^24LK䲁mz *겿VgFӤH5hדDMy[v`mUTkx/qPkem2\$!G8 sԎņ-4MnNR_Q wpwJ3RjyAMOGh."ǂL&sTl%V]F !cj 1qW OgZ{X2s+Ke![Q5d](}4fbg |wQPJw kjZ&UrZ}VHuiٴdu6g2O ӵoCqH@Bkҥ2Ŝ77:crut><#z96-/8b;h$r]rxS2g´?е\V쓈h6'M=^zO $Yd)qF hhLE c!Ooa|7|/D"DcGS ꄨHSwg