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 RR+3 \D ! Functional-Automata:threads=2elapsed=19.523cpu=26.276gc=1.332factor=1.357zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'v?S%M,pA tD%  d{+d4Hp=M1AxTh^q] }#%7BC]#Cĵ[Qn=`(k7MEڇm(I95 ia9#8YvCENJwB4–ؔ- 9>ݏko>>]HSfK98GnBT 3 ?}(1< ?ԢC%yFeNrk[+diK?0лuE,74.Gh{Î @Y:SRd2T}4Fy :T:/{:X1_m1]J['<{Z4XX "6메TV^OV[`'yTbsڢ<}{i7f#u|Am3YQgYZ7zXZִF! d\]ŗXi%6SqJ(u~Mwcvz:}:VfP6D2O3$觃MPKb꛼Zef(ܣ"ڵcRوzc>T=6.ez b~ً!Vd\8}0E3( aOtS5Ț__{;w@a0N{cX b)$۷֦ 1߭cEUuM۰?~٬/xIrw876؊ә 7re`ӌ03HQ#syEZC'uD)0k$|mFuAqdPT)N 7ጡ~{A46㮛l d;g/~cnyқ_ }ZiXI(m1 1G r88V8WܴBmuhJ!)Un:k)\td\4tp٦Js6jl3q}bJtQ3dz~/8FWc&o~ DվQtHPմӒ=h}0@K5DD2(ѩo%&jw5łvg1Hsc 1 e^/cҔYLt+Thܮ(EcgM$\ Yz㘻 hF) UbZwJ5vWTqCK{w4>\K B?]9Qۦ c؋{96 %ǯtluRs=?~wv P O԰qľBރCG1S/1h*AsJU n򞔲` L#)#d}-Wh9 P+SB&!N{'Tz02~WTHymdZSyU\YI:=p< (>Y";gj:l[ Jz]`~JSMe;jlf>J {-XMb_)12" Kω4ɥ-Z}l=Iăb)vb텥lMh)ӂ]X~F\僦a}7ōCIve*?M ݠԙ^-A%JHAJHPoіʂ8m&[qUp//LS҉3np};:~=w7]jh=Iπ,P#*z1OILsfϓH.0p?G<Jk+8&ҌGclsN5FWPf7% $F&.ɉ yRgYZ032e278e920e748cf57a1020d792b439fb524244 15657b10c3cfdb6731b588ee9be619849fa04b92 167649fda375a2b2728144f561379c519b0aa5c3 20cb9f5afc5e713995d2158ba2abde73d90ee697 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 3d085b2f15013ab9cdd8983b82002e5b7e45d759 565bca3a4072752c3394d300bd4b40ef3c887e35 5dde3706475c6d0ae25ce0861652cc1dfa5d2a9d 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 8718fc14a91697b27d633c875faafa886aac9099 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 ade5c189d50dff0519e09a1b06f21a47140adb36 c3ff0da789f71df5d545513ce6af382a66710c16 e88660c8990ad2590c38014612d01d7a987fb036f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 3 Functional-Automata