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 e1 td< ]]HereditarilyFinite:threads=2elapsed=17.367cpu=27.152gc=0.788factor=1.567zXZִF! 8]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7WU}Vي TӞ;HywbNJ&Y}e!fP$ʗr3Q*=LbU).FqW.Fo2pEӣKnCpC'DZ9P"X^Uh7*9548BǢeF7%ɷm5ˎob艆4E3yimу--e~iy:_zЯ$bgYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{xh'>N/d/X, ]ZXC} Hm ˁA7jPs7|aoqGb6w[?O hH!>cKgTt6$G~s83Qu {f#%ɑB9ɮ\QʡfvҌY".]}Eŵ;8fx(hS3he F| ׋N&wǹA9Cl-3"*>i!P&Sf^hOƳFyU@M"GE\;Gb"i $|cpfbA0÷GD8Yh| EeBR5@ Ta`sSSBqJƫ, P7#/!ByP5/,:rnm29dY?ـ6~1xk& »L%Xj][XVGvd 6Rw,=o,]氼)ˮP1Vqq4Yd_8[Wq϶$ K\F_S~H'X>7r ѐ<2nHviQBr´rH#nx2l]$c΁2 Wq-6 ].1wQRϱ11kF=$,V]"WFbD&\99.)auRc\UDpvOp89Ѷhݺvx3ǐ$Q64mئ컕|HH|VF!ETo4i[%k_ԂZDSiszVd T8 fexOo{`A(;͹\ЬKu.ײykьi+^^%sBScfuysv OeUPmBK垥֞ M %H(4ȷt- M49pW-Zxʟ7j@ =`@ӫ^MXoxCR-f 2^xZ$qn ns8c/AC 孝]tk2jH 84.<0եka  I?qv^{|/J/jbPæaQZ{\oIA:"#Nv;i2/|aTLwHc%6G|{A3(y1y|XњKn3B;XXFgXA`N Ef rDgYZafb0ea8d704982d23df8c287999ef7c1e563acd2d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb2144638d2f65c0c861c2a71551c5188faa44ffd5 1 HereditarilyFinite