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 22K3 lt ! Functional-Automata:threads=2elapsed=20.372cpu=27.160gc=1.252factor=1.337zXZִF! ^]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'h{v_mr֠dsXź8l5!Z"V;GxqI!i^!>KY}R<5=i8gy(/&S_NJA_B]⛌jTa6C-W..73|vMX#}9C[y\.JYPPY[I{ } ~K /D;E[t'l_p#3ORNJtV2ɫo~W'AR#L|_v2 E*n|ұT+j"-b_*t50H #T3u*5y9jngj,({)dQ 1J^'"FؗC%77s&HJ|܃a a4 o ωV#@69L\o$-gYZ7zXZִF! gBs]ŗXi%6y4:%H6\!G﫠1Y(HgO.ZzEUbU./8vWG4r-mf O1ޣWw|狂WZYGދosԍrSґ+]= lO2sm'WUm|c0ɔR^b@Xmۤ'jH`{zy楶moSi#&q$ƥ[&fxt1Ύ4$Dj %zLmiԔh m)$gDL\>Yuܩa*m癚~wwҗsg#|'͉%\7|j"8Q0.ټag$I'?\d3L]h3,X'AfJ MD5 I??u_jT0ʹQ>/`0 s w϶\2哆Չe~kuKw"<^ip e5bB^$^83fz,}GS&d$ьף>oۡ&@WQIoX ['ics~&:dyCqo3ub=1ɗcXiX8uc0"np;֖b䝩|_T`?q\)N(O ^Kщ)D4?90}1{!pɪ֐Rޛi+,q#7g<۠acx[ϿݱzSLB\{p:<$ ̍XhUE5t<^^/mB\)=Fڲi}ճGn'ӲTRomRȜ V'n`' D cao7aW6'kCG<T%!mLv:.> _]Ύ"y2VTo\DD?MM٩'(*0URK:p@lF #%IBd +agTMޚy'"~xs2E>zhy' "gYZ032e278e920e748cf57a1020d792b439fb524244 15657b10c3cfdb6731b588ee9be619849fa04b92 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 3d085b2f15013ab9cdd8983b82002e5b7e45d759 42d1ed135cfe63bc5d1e468473d48d107ea58611 565bca3a4072752c3394d300bd4b40ef3c887e35 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 82d46fbcc95345e2065e37e9d924557aa3ff1408 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 a6d6e5700086771c8a23a96b29f6f4d180f0a3c1 c3ff0da789f71df5d545513ce6af382a66710c16 d95b1d4633a6e7b42b7a29f5e99a8718f776d04d e88660c8990ad2590c38014612d01d7a987fb036 f6af41c4b6119bddd7274fa215be7b0a29ba432e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a 3 Functional-Automata