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 n3 $ ! Functional-Automata:threads=2elapsed=15.547cpu=22.928gc=1.032factor=1.477zXZ 3 Functional-AutomataִF! Ve]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,àmKez8={4m̡zYg4/[j!D\$Bb1Ӟ|[wOvv|ח2Y SwFIy*ʗ-Wyo:a@E!\O>QޖjaΊ@=KB(:Y 4oo31g_ٚHv$Z;J ˑ`Z+kenZmX6Eۡjƨ?сVJA|#Ч;rs3F)dJƧònP+T(ohR u+%u`HTvTo}\iH!Aq.^/(EL۶0AqwAZ}Xz ΫNk7rS/wA'ipL8ZRK3Zl+GHREꍱ/uc6Utn|P Y}9&򺗐X?r_yB1[ >ćԚIL/n6M "y)J`G#V}dyW#9E,ԕWC]{wz8<^H+ttfÅuG˩Gacd3<'*$o7K$/Us^uyHxB(F5aNA/YdБc;LKF1K0{pwa<#g%z5= HMc'U!7O;riN2OJ(&m`A)"!v#>Vǟ]?~=F=r"UUVk5@ipS/c#EUs'*nQbV3@ܰͣHhl}3듉 $z űsTAO2D,rf4 *Wd]*1/BNEBLD.F(?˳5d0&)l(WJLZYWۀ. gC Ui+9oseIhv6VʼnLON/" A-׺ǯ{DT yO,GY$QiK(1cܡk%0_T4jXQ9թtO܀ %u[yTkI׆$ʻ@FPۤd/@:Tl/ @>ͮ[J ib1îIMBgRgj֯xa}(p9Js 8pR.6ܚkEgBհӰQǂUp n?`Sװr+%4#)\j/4%ytIgz.#0Q5< _a?(}q0vfLOu&GXb%VޚLPP6cc5xl}}, a?li+ʢfN`{#+iǛD.gtQ?N# !S_kaνan|1g Rř\Q{&:B|j.fwdʲ2;hDR2Lfh} gwg*WHS}B覨jFևiL1R O yL"ƺ &2V?Zoj# HF=&XXFJ0ojCK]Af0Io! ZgYZ7zXZִF! Q]ŗXi%B׆7:y8k=\U8J@a{ 2u#\ ٙj~6@ +i}\0Lvj}JVk;&OjO4x+=$DK\VdRyl)?tII1>T2k[`Vy] ~j^+^[g4}5}ؚ i7ڒzrx+'ypL#|M[piXx1syEJeGDzi|Vkj0n0>: n(-F[=ΚX@lR%vh1^Kʯ9%+LG|=ɥ>|Dsuu,7熡S;1B2LWm֮5]@ +Q*}T.5 R(D9#EK[. z/ڏ /%&0)uп9a[j4P}gӯDWЬi=? o&5 z.agYZ032e278e920e748cf57a1020d792b439fb524244 083469bae538d35e34796bec2f990e228f32eac4 15657b10c3cfdb6731b588ee9be619849fa04b92 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 42d1ed135cfe63bc5d1e468473d48d107ea58611 52b0aace9d7980c050fa4e0a384a785c607e5f31 565bca3a4072752c3394d300bd4b40ef3c887e35 82d46fbcc95345e2065e37e9d924557aa3ff1408 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 905b1d4788b326cc646d4cd82aaa39b022b158d7 93642078c621bd848662c8bf9810f3692b5fbcfd 9478f098439f08c28b947111f6139adcabb6262a 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 c3ff0da789f71df5d545513ce6af382a66710c16 d95b1d4633a6e7b42b7a29f5e99a8718f776d04d e88660c8990ad2590c38014612d01d7a987fb036d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9