SQLite format 3@ .0:  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info hh 't, ] UpDown_Scheme:threads=4elapsed=28.943cpu=111.884gc=4.348factor=3.877zXZִF! H]ŗXf1-q恉<]d %S TzA=0 e"Z\'$_Iv^ߩ}I7ob\SLue;3#C^d㣬֫OոC0 4 aK>wП7ݷF9d fdx خNY1ɭ|)~eXA=¿kdF 拑 [ܘ9:w}2lȮdB6y5yTj(Cn[BK5TZUwTAnK%ıG7rM@.s+6-uq9ILߘa xZ5)!!>߹8*Gh14؇J7!"Z~uXZ>|w1MΥK꺢 myf9T+(+m;&ݍXY֏DU=~ĕK/y o&T>' Nl. s0 *-jy81oW{s`tJ}CS䅩6m kx!!2i_rgR׺o~=EԼ MgD94#^NF?Lfnf;XyWż?%`j1!]Aa!C __s0. D[Ѵl$+굇~sQQlVU~W [C]P~rLAi"/:%|]\d#UW Hq)Nx /SMR\um oEx#JUDp rQ ,[4A%߾3#rE7|<2S`Ԭ%hv)`LAVmH N-P|N-S1+NH0]W{*<)k|Fٔa].<,Yco@t͛~rHe4}Rie=]dQD7T7H(KBAWD׆w :Юg"  ,*vd$i1:g1ŽKbg338M4ArQ?GpȊo(ūq=+[Ѫ_ <&.ƃqaEJh_2{_MO$n9^]^W>G|d3j۪? p]EXe~HMgYZ7zXZִF! L3]ŗXiɟ1˦rnzx <@0+gMLHX ەgԕ54u`~Ak![]]wGCJ%)c僊*O5>?Yȵ~ҙht?>>+Um84_wIGPH%#/yO! m]jP7]%ٓ&k%/ ѣ8%s4,c 8 ˴0-msndH"H)]R8yT!/gzghDL1!-2YLs4$04Kg=٥5w|f^ 1/pka6 KG iee)4ݫPت͗ۗ:T[7Ɲǝ2=el$q7tݸc*:NFqF8Ҋ!QO\iztսgk`{bӉӔ "jW7܇)k*VH9#la G}ıyCs@cCJ=+(!>*˽XCG>s:B2KjNgYZ7zXZִF! ස ]ŗXi%Ge'?M#wX,eF<_-Q *8;Gl)w`eÆL:ɝò1]6%{ljd0:KqM$st 6 qfOk,<(m^:ًQ6/ʎ[=˵HdvD,{C: ^SCxAC1zO.lB\_ڨ2*vhXJ_1Wt[ ^#-ɮxM"u1k:yQ->7JLfK"A1V KsJBbgꬤUy4Tck@c&ͽx"h -@bқ>itwDƂdUl7Y=2e4 ~/ضAP#(1ݝW'-p2Ue1v,1jr\mUsi:~1+ǽI0G$@mlgOj"PVG0=@7bR}vy}9˯CkOb^Jp,@6 AӼq $D(,vPP&?o;et ̃8#ÿ^]r͉KiA/Ły<- fߙT;Erݧ1>u>P(" Oe볦̀(zD"o1i3!=z%u.p XnwF_^8 t* k (E1ż}SBW׬5r85`8PR!ב3(WɇcVegBW|ѫۗH4qhNh>lk|mȕ˖^4z?x,v0=~j~hc!QB,ZP`Px-YU 0+;Pdc)&UH2ɶMfoj`F/n(C|#zt)\ȋFNNWt]F.֔ETȸN* 򦸪~CH%~^DdQU9&ZFLV5+ =D=Tzf*oպws7$=j,#nA~B\3ohi СdBM:iutjtCcK{[}b<ޟԣojeF8g\=) ,eP1*q =J^n;l(HbBPx d:S: :c#ThתKM lJf3#V'[IE UQ*kZubr$- ^pTieb\pCfUOS ~%VU1H+$&?-Z}Cg3M yM%q=ys\>B1[6[=w}1lN袣UIW;S޻SYp %4'0 tPIr`"sWϺ|\cW!Ɂӂ R+~kģ&ʖ.7If ݁=ZʦNF;B:'tcGb֟p<,Ot?T"A"R;?B]̵0``;Gpۢ?ӂk Zzd St2+Bsnj3K,˜e_gYZ0e42ac9f4841382056fb448fe745e2fe4bcdc3c51795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac