SQLite format 3 @ .
B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
+ E9A})a=$qFj$Uk: O>X] ,:Mo.|%Eӆ >(ik"SoPi * z2/DnF{?^پuboăO5G MlA~+h7~f>N ϝ(RxhRC]' V>,atSr4be "OߧIzH$?6uWɿ t}Eݾ^cIs
+ Quick_Sort_Cost
F3!}(Iw/D( L~Zq~DnV17`G>,jI L;7>[D-L(a^װ7?bT `Pp ^y0ҏ{cC/ 3X+ohdE0a\ Z4O(ICJHȃAD/f|D-_G:[-RJ۪D7S`Qg\AF&Dꈿ_ iCTh=ilN /n]`ҳxJ&Y9v/zV P
axjdQ$>'ΒJS8 'k2"+ ڿOAB#%="Fom8ח
pɩӌ7,.4]HgN 2d;B${vzm _J@L5?e)?ٞէBYے j[9 &E& HԼipJ7PTʀS?Z4T3@4 7\5RP|hT^qHe`
RUfĖē0:ov0k)zP;#}2#3z TjTckPl4 Q+Kr,i
{?I0
Zm/*rܬЍY_Xu*i}X9SGey@ԸUE'>a^k[ȳc+i- >q/KlT`ǖL[#
5XfO 4J1$6\SXW#_uҜx?NV:Ʈ_.(BGmF(4t!ci}^-_%v[9$ #q{y"g|8Ƞ<OԝbBf=+ӆM'c,Wkr0Yb%* ͙$sZCzLBH;NrdQB5Ehנ5 e*Rfg2 v8[HbK0t8?/EtOM: ,IS yVy&_z'Š3k!*y'V>}k OdeLīAxieeT3Q]]i||D1V S*5u:<"X> YynQ68}Kew hUW]T#"
YLq
[a_:tS/
kUIKudKO6{W3Q9̩VJexSmzl m#P2{ddt x"dt>=#V<\lC8>]7 l3R'gd2R4ߔNPo⍺&' Xgهq"P&; D.JncS HZ_ŬzV^mb4 aXd: Hmȁwe xJ^Ip) _#G+)룿B 3Nj)e[)a#H1"9z`]T`iu>\颽<%y<<᳭ YAj,5yi:mi?~Hi@kk|ylJ%RtO缵 c9