SQLite format 3 @ -
l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
! ! H' d !
WorkerWrapper:threads=2elapsed=12.595cpu=23.508gc=0.848factor=1.877zXZ ִF ! i,] ŗXf1-/6vR[X"9߫TSݬ2Kܦ\=Qհ+ _PUC琘Aoe -"
' WorkerWrapper @ft1 qUC]鸏MI. (sS 1YJXe6 iWxQܯg %/-g,T(Br ,o&Ā'UCvWT]Db?Oi . o!- T=ZڥZM%?
L (V緱9-f v@geT}y!n_O3W5y֟6j.YWz8UN{Y&6u"M)wwaKŵ=,ɤ; b 'ȽG(|+VMjZYgdqy0IK 62"q?n:Vs mA ]
}1ӳ7n %La) r1 fw.r@58?t@ k5 FEz J
.OaA?*p: ;o&-t Ϙ*yńaƱՁ"T ձT?Fݎֻ
Qoiy[(\`bb! 8pm=#L@6%PvY.]h'ue O 'ŵ`Ih+ܵ+eoEPOY;;ZD9AP8QP~EEQUut|g}_ V\ qF[^cc/Mԑa P3w^oz
DYL=?7GВsf!7_I?lV)]F!͕'ہUB fy7{ .FmJ8a&R]gJa<,ZU \AA+c/YKwD%3' |ڔWo do'zKJONbFEƢ{[# I,'cV4TZ/!YNP2 ^Mu%e; ()&>v7B9^(%)[\g{OX(sdf%6lݹ$. S<;jSFFFϢY8icYޢ&PC'yPH {tKCmYֺ(R f*qT1W,14FbYBkm"}9ZpQd 6/l_Q#d{`qHpOχ*<Z/AJ ;t /<_D_'k3=W.fPBUsU pnکrc4)#f< 5>#ͱ,KXt%j@VF$Qޱo2szm!'D5atƅh.-+1[0p+D!F:E}0KŐRe .g6܄`VrN3\}\NRRtxhJ*%yVP4tࢥM sws4s4 !Z\ BMWC
W=/O0
OCx<[ duw~{tᚤ qo V\rSbb: !r_,MQe^p釲aT]YMkpY e.aD@ \"h?vSU!GOyГr9\XŦ9wI QM^mX%~uER6vUyV9,
A\1Eb~KǗȠe1X#C=;TY5|FC'&Ѷ"æsy%Aa*yJu )mܯpڇhy < Umހ'+?qZftՖ/
>/?e#Qn[GqNS__ eb3!4aBF\Ґ (dZ ]g YZ7zXZ ִF ! FE;] ŗXi%B׆Lrf)L
צ>CPV6U8>6 }鯊zP, o $'?(|
8h%7Ui 9h{Ñ:50b>1뗔^xD)Zƙ4\훿PNP/+L D PO W͑pN {JyuPNߩir5 o64A4yڷbK~V?
U J"Z;G=RVx:0-? VȠ]cJ:|d`
B%Ȣ~KeD@wW-īǶJ>=sŲ< q&7"v/d闋m-a[-л\zʶѴs0J%:9_=+WQ d'BƷM#ٯ["lValo
.kKy`Ln"264ٝ+.5JtU544kJ )15T{] D͆\) [M ꎀ t
C\sN#)J^g$jÇ
6 >{H|b Q33c{rOT' ෳk