SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info tt  $<< ]/ TLA:threads=2elapsed=17.706cpu=33.332gc=1.012factor=1.887zXZִF!  ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍa˻l-O @:@(`(P'/ u,wG=m\S(9c77n|[o76S8KpSwB`hXxy*ZXhd{MDo9R3oW<}_\ V5^=`@Rͧl~oaPFGr[VMVzO>1,DoEDOaq c { :>Qfo?+WʲUΪ"Nl}r#f´lv2>uX'SiwqSG6 WfeY\m&چsVWʱ]0^VEz*3rlw2νsgވ&nBH+jq/,b ɹfg`,00Үܫ*4G:9mH ǍzMq~2uN; 7Ae1 Pvjs#f1#qSx͡F[$멮!Ū$:JRKclrq8(W~Ng8YXww;V ae~&ېm{E5RY̛V^6˨r?=rz{ pz?,Cj#WK-]ڃ#Rs1`#^!LӨBhEJ9ryfsYr6<eGT|wkV\Fpc@..!h&&b.?<4ۯy 4?…z $k Fx'l5:@mBjĶywъz!gf[KRYGY-A8@l; Ŋ;7_Ҿz{OKW؄w zI !OlSmKhKN+6My}>H`Pm"ZT-àKt5::nhmD@FZu'\EK{i8⑜RClA.:Ο}8@>n|vސ@ikĕݬ1Aڐ*AX`8/3wsXV.M%{F +8e;YYol+A2ru7h"64쯗W©gIaoPdp~4 IǏyɭwA/Kf)3B[r%Hkj&6 K\iKv R);(jQ'ߑ(o!:zW\VkG3X[ŵO=B):"HOMџ69Tτ@ps N69ߛBec<ߩ}v‡S#jvLaާ=ͼQ{b j$يF4ꪾg($69&gTY_jT"z˕VgyVX0Z1-`%)MrlG~#WiB3x0@8޼+r;vEQpRʾMhW8l+!RîZ9PZvE#p!J$\>ھ施-n) $Q{:S*疪p/֓愈X@NrQ^@ͫ\ y.8t09_= %1 A"zcU].Σ H|{:fY"l{]j)^0Cg j :,]=}O4 I(HL "6M]