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 D744 ]/ BytecodeLogicJmlTypes:threads=2elapsed=83.656cpu=152.416gc=4.808factor=1.827zXZִF! ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!SowZh &3oA}Q^ *ejʍջ*oxi->ok`0`1|sh9U)\.D3=A{2(gBz0P-*g95|N3BE *+M֧w0s[1@zRTe<¾&imfP!GIke*I^rKDr&Y{,`gGu,?.6KBSn$`Wo oI"/h }ܩihĻy*yW;:dKrWXjt lJ7dG!+ݿ6.v̻ā#+|} AX,֟؊^gg$Lt^ Vwa]7`TN>fcj]sgLoi*h2J^*mdOemxu>ߤ_$w $[..OH!t&_[/>RsGqSl%:~R64]Ɗ56Y?8~v&g3#FD)'46Az L\dՕή>㾢TK"%+`nZ P2_'\u \O4֒>$1]eP~ց6^6{ 9m&jJIX\WT4[YA%5_t9{TxR#ͫJN/_חM,H )wS̏#Dp-%f-ܳ^zDȔ%p7$/.FkL8֖Cȑ(, "Vy*?H#,@PRf 8VU{gLaTB i@0&+ѭR~72,kq4loF/aPUv~O {`K"nWmУ2q*IN"]A}TKE}yU$-t¥ }WQy|t\oVoFr}$|Q},:You*hUO] 9MB8t):(dI؄ XCV.:E(0 sj`=nJV JZqwB]̣Bӡp?l#q.v07Ã3iA`/QNQܒPg *n6V.,;5X4iF@3$jñG@=L;t^J6 " /m|{f',W z<0"B=ӆs#s-íA] :fq9glt㳌sRFxrO;Q*$QF,J=` ЙJޢI}.c&0`RUz]:Ōg?AFPc|gYZ7zXZִF! F]ŗXiɟ/jڢ}n>t;mmB~a^TqovOdnP^E܁Mai>l**pR`t:iA;cpeM+ x2{?hǡb%_yDž9.{ҹhLC0o몂݂h6O5 $Wo%xSd* E͙\H>gYZ7zXZִF! ᑈ]ŗXi%;т2`-oOYyRj[*;/Lځ6T=YA6B @ਖN\"Za}E1A@B6uI1}@)8F˽P P N54_8195^a_Xz/n(+,I^6^JOjBy`X)*j<1Vt6e_ZnnãB㷊r!MIE#тu%*8 G1us3/dZ-Ks_b/47/jgkҪheǷJHM[BNM 7 BytecodeLogicJmlTypesQMvA^6VQ#O\NdںtIf#lw!aK {Ertg^JK̃>>C/lU:Lz*FGOYc,}o]Jst$-cpQ8rieXq0X[@ZG * .4l(JBV6Ze6bPSB&4S1) -B5^PoBind7C,dOE̗Y.b<{YE+G礴 %/LNxR2 hP3ZoACxAE \UDL/5xܭic&p*A%-iZ#FO!xLn Shɪ`t%b/ǜZKtE eZ(LtjH|n8ɜ$Dl dH j[?U[cn\WMax8 2Z Nq.0,4A#Q*rrǏ])'..PzT 8]MD.Ч' J` v$\xFU*lkpJ \+ϕ9сa[3mq-[B0׾VVN,~V__[=?Sҡ0?F^t<3 \:pu F' E;WM9N$"nhb(~]THNM鶣=^hqְ(җ.sw J;z)x8d< Um΋C4PNMQV;(ra-Gef_eG,{g 7Yipb.]- )WA%êV#M|݆Su}Y}(k0EH#n':x]<ǚjhTyvyk>6 i99wc,$nmS0޴]M|V͏zSɮQ"!doe"c4@ T |!'%Rs܉ݿBۜ"vA1d'FyuZ&V)q[4P\u \]e.Pۂ€߉Q曪;QL?U&ќy @AIhy2vA$ UaJ&{7M:?kÕd&ZH<8;P21XWPWgo4c Iډ pԼz#irÂuʔ9~c{ce~{ ªӾ;}o!o"UfɆ*M5"ʘw-.O^sĭvO``, C3~}]*2> t.HU4]Y"-&e&/4)#P2yfS*iɀ/T8=!S+o1So-HT!>*]\fojU/ެO?_ t%J;QHcS|c4k8uKڛBTV-`ڮ\ܲtk~7ڸ#D4VZDg !:LL'eʩS7&3 b