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  !l t ]]Launchbury:threads=2elapsed=81.294cpu=156.772gc=6.680factor=1.937zXZִF! G0]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\[.cA;ɎkkF[V>L1,YlqMۻ-" uz&6#^Sdrn8fTBL|_*EF?Vnn\#n@{jz[cƘ ׅ ο/-(u˺8؉mQRuPSuk')er5bH jo'  ! LaunchburypP] kAV{حyM̙RĄE\ո U)o' kkrXU'=1g/ ?Cry M݅EmME8ԏfZ*mJk \SBMۭ'tn[tïS ~`+D;os8;ӔQ,!i.<̹)(פ-L^4\[V-?;8u) +iV`Qc~LYr8 X.0ԢLgۿq8K6'd@#X%QZLPSsHM L2!YN f$,ڝ4)wإr!ټMۿ=Kw,(^Rp-K"vT +[ڿ]vJxk_᥋/_9CM̯[<1C>ACri"uuhln<Ap!Ce~*Kt9w`n/&LFq9fKo2c_,vp/>^@%p[*d3o3 gT>Ff>s~;߉)op9c:fvt Sg>?-vqgK(]Ԭ5 -K'S.d#5>͇Օ0 &| Ed!FhYXm>ťρu bIN \R񛱡c$E4-+T ӟLkO?ӑ7&Z@yz8}p wf$=$@hH!)籙,߸2vghmHZWb. XpcvbL`lPt)"9~;ϙEdW3D.r;CH'blJ\Oimt-c}Pj~*Rš*Bׯi#p.zátY;SbSu‘ r`vFr@5z5J"%@l\C(˜>wľsޒUF;Ұm~|YaYʁ70N/-ܥLjWgu\qU`-g&%"ĩl^vH4^H٣ ^V'wohȥ!O0yc.?G̚^?(X6/ STd6$C:,`Ei%WD[@W8B`gi ۷4 !_™&4/srhliYw·.OSݫLC?(n|{'o%«uY5tIdsSũX* y/uQm} %پ錷"1ƭ=ۖM9> `PU=2n'C2|ِEh+K{jF^1^Omjc)jN' qx-Ng.*cP716Vwch5j'w*`V ѬԐ>h\U(wBvO+ٞhZlZx0ԙ@HK b {Vr&Si}ͩs1+sW6h#6|0Ro2R9ap3{oS嗛[~v8ZCT[UaSSp" Vt%T3Z^R!,! ygYZ7zXZִF! ]ŗXi%rvT;c e;o.Te@kN )#\[Z>7~`k3iKu,ӧ#B(!ԚN1hAH/,[BUr2nUKzS㮕< gLn۞gakR^m̀)/(ZGN zaDWa8rsw.K"r Ih _ |9'j IH@r[Tq-mSQҿlηaPzv,d9]vC'$QN}_ ?jI6 _Z,]`vCx3xZ.O/BΣ5#t '|<,La]t#~ٷjj6o XPZ:xbVT2oxp#%vԕ j5YW4Ko>6pk* Z0[%U0 NC)Sf%kFW,>p>mDzk[g7><qq 25?U>K(18,jUrcrjX drHbi& e=ؐ'b3;JPKqڮ̊:mPQ?y5c^^Umpm9~t^ ܢMj+Ih5ѷLCkQٖ2> ifMr\wѾ B*ghl/uG#ox_1}71L*, d {MI^F/̙ vTtt۠4aa-<.|M @k-qt% n !EoG{rQ\X!IsBt`75v_eH+=+Lx9/cW &k!uq}_mE;Mvs0ke ~߁;;‰k :E+.?9`G †M8yc6I6"pU:M$i&,Q#7N/w{rXy̏3\Eo/zIp[5AnY)qEyZB*hY a|9?(^5\$f233˔4g{e)*m1U͆#bFj+yw3m>>͏}$)068f89zemVmmCrTH\B 'Sl*zKdF G5˵q^P{:3f}GM?l6^%H"5i@/ot!) j鯥?Zwq*mh!9-0hl)L?rX)E~f T(爩戰Zs" qۄL9]50gΗ OA $*7[<(8{7t:Cٽ_!QZaxM.- fڑÃGv9yBYnl%n}vKCY{ͪCoIΝRFT@A "ރ;5h8IK[uyw$M` AeN([נ,ϮY3]I^5D Dz1ZBa2*zt(䵷YaI9 ӧ8՛pj̛kR4'Kk@ZER*P9bh2;MQYW* {!<rLNq*7Ƙg&}zm E!@'oo.6@Q$! .Xӷ|h c| \ՕLYD<U׃kҍ&VXtcٲR\aĤbAْXIMq[UrOG"B[ԮON{*+Y@bqg,b SijRҞ)IwXgqcGS,A $ރgߛ.G:$"zhJItՔe13X2QŠu +LY^!Ihc )w+RE-t\HD6#B@|N?sʼ[usMXcIb>Bnk_գ #i/dci `;yo/Qy#lD)e?C+3rН?1|WJ/4*T Y dHr*bU=9;WPIxw&vF?n@\NXs=w.)\C RA N|35k' 3D}u*˕Fa?c>+lvY5%5Ulhnn)&X>K1I9O ">۷Ϻb>(N9~ * .x9KeGT!\"tgUɒld>U0bS#;| {TOx`FqrҎgkz~^'!qiz]Z׼lC0Qu?9lOA6J:8ʜ&TQY"XfigR xCԹD.5ۇQX(wH#ܒIgPuhV*%|sL+W-<(+͔IG|d}G~2Ց! .'vM&iA9–|pQOmXU@fwjET80\Ž3?J''Ws.%d9j9 ˭?7TJ+5_<2u ̀gi}ƘKPm O; 8ֱT9u+*MyTq܍/nTb[6V~ -oة?}*:܏z?4gY]t!z\iH/fo:a/y]pPy°Z$΢P=_ʤz2_Z`5[g4}7]y; 8ɥ-uּ\T1&$h(ClL) 6`*>'60^hsCl\"V94u!<̝B%Ω