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  L S Show:threads=2elapsed=12.601cpu=24.588gc=1.268factor=1.957zXZִF! k^]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVFFWnܩУ5s߽A1/"41:bϡ udpzGmg ]ɿȲ{mǝ/K^E?R_b1jп-#VQ5;ʛ!w]o)NУf. @X3=ka#M;LG i UrL(ż-' =!;'HR4GVm$+M>pa`zTG( Q fdƒ ^&SіxXLVzv>  Show6.6oQ1w_རmyۯxLFC_' 4Ӊd9G؟Zq?_/T_"a=whfC[v\|s8;M5_+m*' ׮9t V'H|cݍ+CSoH~­. [ $In7SeJWI}W[tCχC A?BZ0IҵG,S؊Qq|} ,yrۺu.58(Ώ^%Ew߉<"!4L L6Djr_7aF4IuR8cy9]V T fLaL *[@E {|Ѐr;6u }# 5ER% 2+ ֐펓r~ S@C95{4ۈ%gY+S*Û1Ĭ0c!G !f"WY?ɺD7NV; tKNa,LA`R/x&v+&W4tkg͔)"d$ m;s&UVƖ2 ѯىcJGv>`Mؐ<|݆!IHI|lbdABQ<=hG:szG\H/YEJI$&CNȕ5Ӈ. 9B)սreؽQ4%+=yQt Wo쿅aok5X|Y[iǢpidY9"%vN@*@d-+@D,dڹzBH1:ژښstF4j;6^;21Z9=#%H[ x.܄7V mfvO>饍xP2 V7եRSY&E{P(oI;o-@!qCj$#zhsϢHʬr8a^!:boh< ק@b|;SI8k~l-!f˓]U,[m{OpCp-*.af/7<VWXek,~%pWA- (LE)bvV=%]lE4(U%aUjףzx3(  lh1kr2[0ŖV&?!WlR 0/IyFj~`hX=qs2Nsoһio ef/mtH_kԫ<>)؇H6ڔyM~Ctb4kC< T` %z|y[o݉dPbޜn`T1Ꝇi[bA6E/CP1߈BEp<>Vud2ݹ*D\۹Gz1I>&4l 9ˍId9_:ׁ̕52ކ>8İ| U}쵢TԊ8y>ڔWmLP;w8lF1 )IuPv?R-CWm)+:0 c9y[0U$U]z<_&QMIdDl㐵AM$sA&攼h1SO[froBaBd0S!KI20(ԫhIZ3^) td#@/ c :gYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fcc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e de1528f6c592ceb710565827fcabf84ebbb61474