SQLite format 3@ .  YYQ77Atableisabelle_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, "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   [ |L m SuperCalc:threads=2elapsed=39.055cpu=76.608gc=3.304factor=1.967zXZִF! 3]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&+&'cgc1"1k ͘+^zlFwHXqJăS|z8/=Zf百#cIV=!JEҘN<Tc^i~:a{X8%. b tYDؒi~o\P(DF(ց]WgR͕.OEO K*fXs[ڕQk֫HjihE}4#y:@ܦ Xd fXQ 3 %mYy_-d]P aj;ŕ*1s4X/p; _>(Hq|a+[,L <^;ܸvh{1x9&U,87ߧ8"_{4ҕ Goܮ4b9ԺhJ0Ja~pbWE~&XZ(`?2otARx68E28MhQ m *q˸ •jNx` Ɛ3\ͶNǃ*\!/bd -b'#W!ݧoX15ndB}e;߈CbA~yR 8g^̓|I3B[M}5sEۭ C `R'rOc;yQOqN<+NLߙ,>.!ZjH6"׷22ٹ{~V)yu&Y 3iH~ hTxr(@ vc}2"Wo<'cu Emɖ)'oL"Z"8G(P->8D|n~cսoVAl 4pdD~H@,FX:L@-ILz7\t [Yo\ɑ)w{w\ςl4At]4_2X05aɥ]0PZ<3b~ϏĪ&[ r oiX5N7.*QIuz&ŀ݊k9P4 `Fw_a]y c~t;"J}`D)cwnDgr^?qksUN}ۜB Z|=4xL+r42n*> ᮃiǃ МA(T !˼+-ڗ,| \_; x9՛'gfpJ-/AvC8WzX/Ÿa$]J{¿+wzU]39ޗ? Dv(j} p*6R-<$|(6E5r٬আ12rҴW RrfHٟ4&%Cv|}Zƿ}n[grh`ozvK` 4~X!D Cw2E:բU)חW*pGM7LWy$ W_?&QbzTXv+AlIrwӖf?D>P@z_;b%O|~s{\E~0$2I;E ow0glQ|`7T}@{"z 8);E'p;~z1o|}.R=iJ!݇8Y 4+ӷ?Nu!bgߞ|g T4t﫜+<ڣ%>zs5yRtůY0X[i /r@J@etq4e>kBF[ jўj'k cOxCz]URRAl|3(#BS/ sgsCsβS^N|-Q:dA'r$q|W0"TUˌ2R$D*Bӡ6Te|0k&k8zz̐4I53TDZؤIN#JSHJ8kv`&f.t:vGъl H;H )hek[s]Ef L}Ecyݳ򾓯P|e0䞗>&KL" EȪoYv=Z2_Eb7MWݱ&5 l e b dYe'8) Q Rx¥h2#ҔhT8gin =H/<1Jr>ȎDx: hأ- LY~D,b0l"¶U;Gx ]GRL>4vP2i;!cm\8VbqVvY: AG)VXT`9~Q\XdDmz"HK娽,{jABU}]>;sW.ZᆽY'[p)a暢#@Ώ  Or(%Z9Hvpvdy*ӹwO9 I\LP7nÈ*a"̶GδxRXlK͎z;>>=ZWZK7e eT1Ji)yYM بنTwKjn^e%9%aix N4˞{w$E#JZRu A@QBN LO.6 eNY֔ ,r{+^N/a,փl%#2j3u f~͈ (ߐE*Xı̭rU{o!,N➂oKgS>2hΚ2Ӷia+`I+iDY1x(AW"Е,-r +}~(DJCj LjH.B 䡋q>7'Z6}3na%9u+yPJ;YLPɨ,q*;y|`V܍G1yܔ+J&cQE*[^] /,e5q0]8ʼAفұ/Ok;sXiʌwj<3$x퀡=z0dNPxԒ ?W"DuRrd;vX>oh/,{p:?5Ĥlwq v fs,x{E\EkڞJ9B(K&2cZ/!z%#C6W|2%JYO/NJg1;OCp]4g3OZ͐Ǘzé#7/!igĜzw0o'*EKo-T=i2ʬ-f5l4v;chPdMrd~?n] _ݟ;I[42udv C(.бy^͍c\f6y;ce 6:#HZW)ێs*nNA2,i{E&4|H1=jԏ'kv77G48P&EoP. QM*%.%_Чd3y&AF{ptje}CjUj|9hVZ|VFDF ^+n46U:LN-$6Lдh*̏gu Aa T{OK75hY]B[GZunA y={3]+X|9_I/C@6Fm!9o[y4c.W/۹<j4F+r]gYZ7zXZִF! ^]ŗXi%g4R$HG]ڨЌgQěa 3G *ϊP7헯&hkb!B|2BN/ͪS4VwP*]XʷZs>{I"VRJR*T~'uIW`(Pmt feOf;hFo=Y1$er޿:*F(Oz LfWGK An~G]hR#`5h¬x3s , ̷v8A2s`0oHUY0P]c|hvvDOu^B)M L ;˗E/ȱ_M^_!PYD4ܕ r1:4NOCjQ]T&WNIQe(MӯfiUCҽK'zǃ 6j;FROF Fqe?\ArM[4G̏J;284&Lu `.V4CGV$7%K+g*^OIBQf͕aYw95xvP?I+V&% G?J5TKѾx>#ae \>@"r]7/ :!_G|iU-hXr-4I2K >eS'c <xi YRmF>u~O& Gō:@mb4C:TejKp4a擄$qf7$oqSj-CJ?C򡏙)RZ|0q1CۿiM8-[ɻgVk*ytvv!OIvÌ{\WO\h߮n xmpf^Ils^q (>-s=8^C0Ԯ>ʜ,.%3mTV9:SA0(4 sΨV4Ah_i,N2%f8ܿصmA{cX! OBA!k_>E!"wIl7CG<oI"mal!LuFqP-IX_:xp'SYTAib#H_x˕nfH^4Bv65&DqM[b+ oBY3>jUvøyF}7VZgq s8fu^f|4%⻨ ͑[|׉6~6}l2 ąwNC%uӔ6'0+t΃{h& UMQ0+je]P(Om9CF;tVEL:n|oLQ ](y{3D]zzQ˃ƌ}-|>Ww4@ۚL#+W3D.$Mv/w|LY I>ۆ2Vs q˵55BPNlX4˱aUApI#KMq߼9Ľnj#I 3.<⾖V+ʑJȥMoP.Ab&Ly11.td|"$3<h&ڣ?qޕgǟ$t5<ĤE# Ϧ#<OGpbX%"ߑC!\M|;PRBf]3D`rvZm\ƜJjoc9@[HpѼgYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 596bd40998c29fb5fbe86f1fb0b2d7f2aaa064b4 64d1ca5b0f247c8bc670a248b50bd1bf005e669a bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8