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   [+  c/ Euler_Partition:threads=2elapsed=14.653cpu=27.376gc=1.016factor=1.877zXZִF!  ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I/HoLO5T\clKEq?B? h7 $…GidxiIۊ8L\ԑeg+u+&}Zg.T򹹒 ]J`L؎^Q`PbMTQκ`Uۖ,JP[F@ )LcSsG6P۟ p\{;i,!K џR6'u>B)O v=ŻscUizFɥ@sc ͬ+/ARo jFB_f>Px'H4xvos4srR^6X?+,J&V@ڝzq_=R6U2BAZbӼZ_bo܉8hc|/(F\ϨL76('Wf)>/Fmw~ 31 H2c"y S쇗iV 'jUWy;L`ӗdSKUf[H\6[@nZ=se"e\`GҾݚ$6 ^1 (DJǍlWa>6S,r[+CVgVĦ?5yUdmlKƩ-SJmG[: 33gYP:w!P]BpycNV;qe0'bߦ9覽_Wz=;HMm?a#vJLUjo_O + Euler_Partition2| %HPNrg~z7Zu>@ϋ8 bDZКI6p8.&Հ 292)jE|+1byZQppp| fh`Q2= GaJXT+eyU$^l(Z Vz!]|R4@z8}Pƕa?:;*o-a8 ypƗNS^ȫ&@YD(4^?"k /SO'][;έPLeIf إWv Na%/4OoC riD?r]$킰LPD&$<NMZzcj<-},OPhSø.QxZ^oDy\1wEh}n$݆Jt WBjW,dI b{ +&#KChb^{h=Kmޭ@ jfV=OG[B n8FF4Ԧ1Sbr +NGju#V=R*H7~0 [$HcHQQ1~dPz#Ő3n7a&x"#-NJc3PkQ5N> pOXC\+#֝8CIoX.J͓:h+J젪U6iPNSM~<){D+Gv!(HcĨy(\{i  Rp@Z!RZpݽX4;\)}9](*ʫl{qq֡͡yM.k't ޴nsuf:naAޯm ].΋K.dmH-Ex|qAB`oqOLI|O׼Ŋ1ҍr ͊ |ʙ:u;:I =7[J$5rJ%x"]=#(:&1- =FHՀ/I6*֦rsH V&v2\dh9TjK29JC%>'3c𹖵I,IwL!IGQ 霣9x;yt~ygi-)"dPqCM0ōVbZ.\q!*gp۶N #FU:@Q97ӈ #'YsoBY@&NSW_/o}Grz*3ޱ >/Jd$yW?LRt`ySL>)\?]_96-s aL3eYMI>q3_@1#K Oz{%Mͳ??X<]0HT=;ltU>Ytny{`A%u;e|h7 5MWi_ƙ:r4ik6dae# qdCL#S&X~G~4ܧ` sM{|Bݑ 3)>T°4!QKd_ 7% 8^`ee}P,u%m ^I^( !G'o{'*wA ov L-|.3ã ࣻ}V;G>טdž3>C=7 > KV54$!O#uNREAXÈƏ"k\u J4Yln@ s[W'Z,_&Rm:$'|X6v&1}z5IȢh,!GL|Z_c_UziyyT[O58|FxK?J-˶7 G)v<1%zeǐj+;Da\Ֆ5X|*OLli3w>gYZ7zXZִF! R9]ŗXi%!W:]C݌FƏ6]/q4i@RTkoAHH;eDdmTieRn6y%gZͬFḃRP5JSGķs c)1bDO( eJu&1ynRVZ9e :f,5([ xgkl%'M W6rv7Q,d<=F\6uCJYNG7,ØEW9fuaTߢ&_bY/a[ڷQTj1ƿ7vUh)IrEʢgND PD#b*.j ލO*fWhߖ\Գs+@ Pha`l;rB{gږO}"v4HO;RJwE 650ɓFh-3J"NPcdm]hDU&WtO*ӬpIbwjQ>]qi 0ˆ@=fwx$x ?GTv|WgW쪄&zaFU% `F h:4`M7I }J 01[WBM\0W^CccC!ěot,|JÄXԦWd(VJre+-?Ř!/ꟷT3OnI? {AǝM&$sڐKa$P U%kVVlPΗ <30 hE5] (J"b@{4~x)3ʬF;ҀniS8v|2Q$ VVB&FӜ`NTjn{zKS7 C.yj}YuQR܁]E_ lQ].rIZy,ȶǠQ S4 u?aLHXoG!n{5lt5YHJԦF7čWlpa&쩬& r>7Uɠa߶́m6}€Rr/v0/qs]:-cbZxٝ5enX8!9e4Et\oObG;(翼5ЁTTw}§~mw/8==jOUG9