SQLite format 3@ . BBh77otableisabelle_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 )lll ] Twelvefold_Way:threads=2elapsed=100.868cpu=137.688gc=3.732factor=1.377zXZִF! 3-]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I1A(4k Zkp5":w%d(89湧1o# rcXG~ Um 0t&S0ҒBn#.}7_DޚbU`lˉC o|ٚGӎ* 2p%_vn!TN*wx(lX+c.ѮyF0:'k!gSCӱ{!cѰ$hBl \сep Dya#sX10En_Y`bu_s?(1F{uJW8^zؑ7LtTŝ;m4.HѠ pz,s`T1rG#}.uX9 f2]?Y-'*֯]0˱UVbQwuĨp;HB DԄ9](΋ y9V4@'yL܎Fk}K="O }EzW}-8._R&qN ó6= r@/>*U+FlH_ւp yѪxwnd]:G|vh=s+,495bE1իT:0Q3N6ޯJk-kg& nX 5;4᫦4Hյ' vj U祝;#!@7cre7 ܣ(%жBj0kΟC%#6<^K,H8uH@(j8|w7[!E 6PӃs0q[fjJ="W#+pMHyEt|ƥ~h |͍Ctoq3k~2%af{񫋒D.81%IL";Xsut0G=Blf骈U yғ(N92TA9Dh2p,,s7w,PP_ _a&<c2lțk,FR+(7l Eo3E8gdN]6l`tqW֐U 58³$<Wi?.ڹhyr,\#CP< TMϸb⿍c^X "yf$:n"ۜj5uQ;BvJot4{ ziI3\KsK5[JKNz }K$]]٨횢WݯfsrLVor\h~vc]hD R!8i>ܩkڬ,Q&ж# )>$B4Klj}ĀOo\`]-jE?J Lt] d]r6rC߁R,*95_z\ХB9X'h!!t8bl N}5K|UqbJBX ܠ=0=I2̯|rv]͓B^Gp<ؖD̡LuMYad}r4.ۖSPu,ؕ)~G]o.6{}ɫ0jz,922Vga'NcEرezhB yVG,) /yҐc]XNvةVܝi^D<{M큙ZN׻TvJ%[٥0۬uJ0JڥOAK$& b37MPT-m}6S=fyuS P[ ]Vx% _.-p|lr!M4e42TK("kƕqcᓛ-MnǷnD3if;0pMH^fq[}E@3r]qaW@w}mf$xxc-ȟOΥ!Ԉy0E̷OMZ'b}MW !NEKl>3Β"\oaHTGA.]LYk2s6v$G笕.Hm/ 1 pZndP+]ȰhG DY8yD.Ǿr:/(~Adm)m ]Gؽ80@< oN]%&_+@ ]f@߁ y%?cAEY7`n(}*T Znnc՟ Lr2ܵ+ŏu=f /LF9 )kۦBP $NqB59lo6E@{s74Uv|%fr,}S/P҃l!lyXr$bܜQ:*':̕zY9oa+K/OW/x-EkpW15K+WslAƍ"Fy(9?L᲋krrCu?!2AUh߯"ݗGգN1= ɍS`SF9uQܱb0<$3q +|Mx;VYGn &?k--@"uױ,tBP#Źdژotilve_1t^{112wnl*1 $p>Dڼ΃tGz߉m:4lF'ǿ~v4w(`MӼ}KW5Q5}\˵ot s=.luOl9?% !)kӷ) [hi0Ysҩg#PdD|"7 UqR۷7Ҕ$S4#K#}PdSDɂQhؕ]e:~S}b4htfINh/Z_i}7ߕZVsTnM;-G!U-"8aيYQ^ء g[z VG\݉&aʐLDi[ bkՏIk|V )5ˢxC2.Nx\:}1~벤,#y,ISr.}Æf&vűvm[-[/fG>i@j{{E:[`,5]x\x/Y0V3kiWk=c? 0vLWIZV xdW0Yfk$I) L-Eז4%J ? tC EBKJSE iDrS1Iϡ]GDUy\mzB1F+~|BuG 1JG{%Ts5K r*}RE:`T#8Zh>GFk?z;3xȵRP~szCWO^OL+zboAj){I5;F- 85ҔE&յg*7 pZ9mΐ0 `@eINMRn|* (Nyb)p $(A+AM`qhنo[tGaT,*B~MP⯮]IÝ04'Nh P3o,XRTGĮ1 OF_eR@̺̋0xd U>|Ur3@e f4-Aܙ6Ð"I bJ\cfPCQ}ϓ8C@:(e±gYZeaf096b8a70e4a3f8d7e74562c54a6154623e04919483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0