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 jj+ $T ]w]Quick_Sort_Cost:threads=2elapsed=25.472cpu=44.500gc=1.980factor=1.757zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;l*m+!Qu=]G\ԣ-/u/e_lo:)B'Mڏ%`LRZhQC 8kel9{>/96\%y$WIo>;>\Mt[(I|oֽAa]s[Շrhk=ߛnP3I#.2eU T5#~V 6c^3dU4j!J!ct}E赨{ZHKQy$ifHk_##Etڅӭw(oU3P2{ ľiXt4`2s٭TQ023tSVh%h?Yi-L}rt|r)%`'z`9ϩ )7隯b 2);TcMn\XTߪīܶ[wuoIN~ީ+5 xu||լY]*b~=C _bL"fD AWuJXW5m{EK]K%;#=gm̂3fźJtT߻)RY;x3 s0/+OI,FT6Oy|7 gYZ7zXZִF!  ]ŗXi%6.7C"ߊѹX"eKXܗ5H)"_}=Z7b[ÓamkW:tNa.Qx;3B7,NlJ8P@2^}xfw^YT ?Rg>HG< 2ę])ny،9ABk}`=;5#X$MI牎"*g߃񻜾!ڧ{ܦM2˙WP##>'Q2M-[LNxoLfĞNX6-ueO!=zƏUՓBZbtuj֢dQU_J[8zDM*^-<|U]ШD@:ܲgk}.? f=p E~o/k7I?w%_?b~y ij )r`HCKH zrZ5T#ߚ67xqCux_qA{0ΧbC3,FeȌI"J&@jg4(7t'h{Բlt>Jv5תq^DhCYbh4[4*b'IҼ$=&C 9 7Hn -?sl횥\/6d+^*_xÛ!>~ڴBǩ{I2jJ< |c7- FE $Gg ם3c̙s],O]nɏBr8 %^owdh/1cnu7";Q_h$nՎv~b"v;[Wx]߫|b03>NGd{$,@ޓ̧%| )?GHuJ$X_41ЭLT_,*:oXLD(Թ쀯"JɃ9-?Q& yv>Z۞N5R mi#e=^ ;c?9ō£`| 9%jcХˇk|_!A"_ 8 =+F$<_A5mշ*˄<8$6%exw@fTCgLdo߂q؈M܉M>cp`dǾ ÈeCy@D\ŗ^|OEQCӢ!OSG툹=C=$ΐE :z?ZnAd Ać;ijK1W:.HrEj[Sq|cgYZ3320405eeb392a1b95b360b04ea7e73a732f93ab0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 71b61bb1af1b6239c53bd9e18a9914ea83e4037c0792bb1722ed957a4daa746f9505f68dbae900b1 + Quick_Sort_Cost