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 s t m SuperCalc:threads=2elapsed=42.601cpu=77.036gc=3.288factor=1.817zXZִF! &]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&`Vm)@[J@^X.p?:DrW03B׀i)3ر8`c'Vad8r ;l)635 ̭np=Y=>`s M퇓(>kߔzY" Q^ 3WZ^7^+~~+˴NC2"1j6+2s]X߾ցXwG 7s"˯QnԀr_K}M?z9X uqcypN0e|cZeǚyǞ$   SuperCalc V&\S5I:myl(3bqTGx`t1Mmx :P2Dőc\@4M$C1< dZ&Ghr`:Ws U~٦t␌ڦQ^u_рOV)7@:!@|,6Ev-ln$ļՙ2V_4ĩVz/k>umڽP0Yfp wrA(3mX ]t ح"nV 1B}+BD69ow%fǸ^7cnZJ529 ?ik̉E誺fd꣣Nm?2i7&]lai)RH3(>8>RԼQ}NoH~c K%xQϘOc]?b ˾zJB?10+6;d{fM YgYZ7zXZִF! ݙ ]ŗXi%m¡gl(": %GºTML/~}8uJl:6.f&vG9? jxEua<@'Lg2\67Pe[ ]H-\iY; p2Ukm +y=RǨKa@SgTE,u;:`}=[vPopWBJ8tʈoFRJ~ҁtrWVORw9`,}kcHiakh;$iJ`V׊iCD;|37T tzjyGQD,ʷR >WDCR롑Y V5k(%+wdnJ&u$==uzQ: :J/r12a~b^_Xh}DI :O{( HdĎCXŲq7.WX$keIp{'R) t`u_HDV;oB9{+iUJ 7з;Ѹ@je: L,34%u/L'3{jg:B|;#G)vJz_u}V0o {#+ h- *-L_%~@/p}LŠ z9 #>h&}<"3 %N/j ZXIF &%q#viY屣Xk6yյ:~ @+:$B ctK xb~Tjc5+<+9mQ)z:wQ6:tܭ%u~c~fdwVexo,dS兑Sp 0QNxF7 >[-ܙ@ %ot$t!zpub3$k&I ?HΫ!`|4tQ"N.t<dR|K#2׎jExnD0{C7-)* *ܐTnRAൎ3KɒE0>GG.M=cHꍰ#&?͡: 8̃ZYӝ7PHf;T!1$ ϷjUPX[S-m!eVl N0[, d%PΖ aȱ{| ʈ&toH呂"̶G睲Kvoe#h(k4('U+p`C)uX!>).-[@@aG~k5R:~woΪ〣b,Rpb2aۤew 'eˇ\&;x'FPYJsvr0-:+s{Uރ"1.[O,#MNnvCC2{ 0ʼnÇd<ԯ 9-y!G!vM\UoEr]Jz *aP^kZ ms;ӜɏeYtyfoKtܻ9֠B&jXtNպFSpH# mçɩ/x($QqpT[Uլ6cC'3p&,MyH\g(OL,dz%S=c̦POMM7{f\  f8bƓTƫtX9699ݏ-Hތ.1eS8qIgYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 596bd40998c29fb5fbe86f1fb0b2d7f2aaa064b4 64d1ca5b0f247c8bc670a248b50bd1bf005e669a bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3