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 BB;+ \| ]S]Quick_Sort_Cost:threads=2elapsed=21.192cpu=40.440gc=1.828factor=1.917zXZִF! U]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;u,Ut#0I˺N"*mN0;$Ц54Ɲ&Q}H)ȓww$iZ[a6n94;nNӶYFσ+rA r9`ao{y~rDtV~6k`B]#74“! !L{bI@x-{}mfq8dv't,uolf (j5`<1"(ͥ+Lg)KrQ0ȷ$ 6^B pfҦudyn6#p@+S+"Oe03?GSӦQAG~x#~ :cƞi,kN*&[a?&, %?I8SSYQgt/r%6YCVpzTF2u6RS >-I:gYZ7zXZִF! q H]ŗXi%90øMI _v̥ M7ilpQVB7gYtb1w/ ffUѥ J`GN+qpnd-fe(,B 1y*66FQ(^IgOT?(;pRN<@k W4,Rڋ?sPͿtlpn1MRYOm~j^_Е# 3`0b|K c}jJiM~t!z{ UO,sQ~\Eyn\e4#p"p@@ bX8MQ#qI}Ҧ.޸yLD:!SX8MgmQ2j1@2Mx3fҁقKǔA!xjPU$7ld#6$* G9B2ϔ1>(S=.ϑusM}ػx7`7D*_!iL$~R vi7O5#IY&at)3Xa]qVe VػLyۗڹIQr.!Jޟ 0_;>0ո"̔U^%z' [~nU&Q0艤)?peܸ`+1F K$59tKVBn9hlǎ,&\I~zYAS!3z]ڡ !]`gbrJ ?}4V5>M ۯtUCsΥS-y@nUFI )(H' :w&miỸ2zL\/Շ^gg4C6#>@ Z22*)noRoxuhe IO1XV/r?L`gU 'C\%pBE[YFcia@Lʡ.z'Gu[`F,&^sO^ַ]%F(dqɀZwqktjᙜ>cVꅚ(qM<>u3t7tL]f xQ,qS mmueb(V4ZƉY29q> 4@hʖ"+|$AK?sjT!W ++qߖ"&̙4 uPm'*JNa*OD6c\ܲ?XMʷ`6xj9?I.M7JEwFH33yޝdǟm4I& @ Nb|R} jMNN'oV}Δ)b;19M)=46Fp!θP'`JC>Y\x"1z?-'(tk.qTU2Z:Y5DRc&U&$Cq qI{Ȏ.- hxD?dZPez8Jd ϔ5gYZf550a02793c2a495febccdd7230ef41c986c140bee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 e80462241ac3de8d4540cd4173ab1f28a290f55c b7c4b18b2f66c2d4ea976d640e744bd66d0f58b64bbecf7f6bc8861615373bbcb57290c304914bb4 + Quick_Sort_Cost