SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info hh}/ |T  POPLmark-deBruijn:threads=2elapsed=23.440cpu=43.548gc=2.468factor=1.867zXZִF! ࢶ 7]ŗXf1-/ / POPLmark-deBruijn6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jf䂈 Blѻ(e"|F=~ >$$%4گı>{Dj_$Ӕ1MԾFDU.ݔGڶeșmg,޳WHu,x"E2"x<^I;굤_ۦ_nm]y ~x^xdD{2 s j-z>{&vĥGvBc"T6Moʬ&.)#/Xz>h%k(&v  M1F :=y ]FRKGsz\XO,@biy|ԈNE&/p2hn:b03ToXJ L -U &2A FEj1YdW^@^ ichD"+6FMJ9 8=a%FcxhsV6 Ez;1(*9 DEtdYIێkt{C cI ݻ[:,r3.$ &̨W| ERIdKQYoo pC!r h ~+N(X 1;]utٔ;_UT'>pK[f! #\#to鶣LD!/y;.ܮa'`,\OIFK[\(x]N+cH~Knq0m%_Dwܽ:gЭpUޅ_~c/9ɷPCx4)\ ٨64U8 ӟTFfr=Ώ(+qn^_}5Au금fJPMx^AUIpEDYE$'"QA*8֌(lΥ{)YU1KNTLMIuÊ_uVU+ 'BN_`Z˶wR ]K(// ٕ_[#XfB烨aA`^䛢~R[j@ߍBr Аyf8^ |kr *K\qOy_J`8K0OVN_$ڂ扅k58G E"8'F򳅄y~/4kW =;6'$>@Q`aE{<&PcSQO --@a ?G,$0m[)E":F1w̒Z7X0r 1#٣`,4y mZpKZQ5z}|1|+W% vY҂ƏH2s4Z KM'2v(ka-(~(5{Zbc.\?qUV0χ5{{`.]ë K`Pԭv7$N|> ?knٵĮ&,?'a{6(6L"ր`2S P(X$t*8Eǫ|W1YW"yMC_OH۬"Avf[K2gfǥ˻Cd&.UA_[%(#-! \n^՜&)U.>y: s>:Rh]sp3Mueq7+ O)^X)G#6Ns֗쇸i!Lkc6?#ޙ js1tv3!1H)% GǓh)9TgU sf+X>4 9/ڵ%6{ ad-Tđ3^OoL bk$!&-~\H(Hqbp BS{4@ hdx͍C+( 8C6 Vm3,~)Cv3׸Y2ЮNg3SLi QjtgYZ7zXZִF! z]ŗXi%zxB< UTXnC^_f|Q(qAnƒ !x< rYr]uO)r dA"m,83z ώeЫE{'G3 &FB/[>[.'[ΟO\CHP>BMY?SiH)uZD;J+1uSD3HH3=>f3VvʫHƏE-%nq2|Aپy=OS9:E?>̶ZO9u>f q5N{l+ҧ}b#@ESڢv$9/Q `W^1^eoRW.t?tksfq3}=XiiIGIiz<@pB*wj;fAa3vCwLZ<=Jvm,ԇ7:Fo]G0@g-tas&WuOvk5#׽">D_jDݑݬ镓l؀'s05IG 4УEVQZMGb7߈YDV߯/چV RvmOUhDbﱮ-]@L~I/GI@!GM>IE3 #p!^)& ٩UN,Y/ A'ͷ@ T.zZ'|K;NP.7a8buQHuo$SO)$ ,]1Rm=3 ~F Wy`;Us1+ 'Ac|@Dқv~ʣc]kOQjEr#e"ϫѲO|^vtzQc02ۗ.y[Yz܌[VI9 ¶ۇoglGIjdo\LUY1JN-5E vd9ű`:w_f}kYt@ijJNGO;umbHnd)X_N,C# X~$; 4/qSicP؍6<`<>ѩ Ej~yLy.ݹ(Pqp-OcNn;IAh @ I,,jdx.Zxy߫qh0xG8*7SKKq嗢7>]LJ77a f MjٛsRGNW#JRWJ$jF(gڑ!7N wzCjCm-MXHW [MOP҉&~wNdOiX L{GCп;K)GTiB?^{lG !h*Y[<,gj#{5zl SQ'jvc\ϐ AW[J(c,̅" HݴlϠRw™%e`;ZnVW~xh4a~C{$x/yRQYƢU ?0n" Y`P(i/f ZygYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d b4855cb804f992d2d2901784c628e661458ae39a bc36c66343ae921e69a57c4404d209ec7a168773 e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 bfd5848bacf97a9fb8952263c4037fd55861f6b4