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  |D$ ]S HOL-UNITY:threads=6elapsed=18.275cpu=85.164gc=3.552factor=4.667zXZִF! ,6]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: YxֺxdGW=2,d;*@'jM_gL~ͭ-ԈNFFZҥD-pXᶜ*47/|S͌mL؎shv-|?_,=! S @DkuEN#菔E-I`Z@`\ZMɍ%=dCg\NI1}Zb`zx4,;yIK=]IgbG/!Y (8m ZR<}QbP?JogvӫBqhV/iq]ijLrp$+H   HOL-UNITY2Fc >]1{2! H+uq@.[% ;=rthfj4eAq:L_b%zh2rqz݅>" - b->RΥ'#gs6 _up~EI DEi< nHcYeZ!ݛ2/D%2o,f5Ա#\cKa\D8S—-r>og<4JGoqJ}d@9, B(qDdC3B dM ΪWjH\- ?lՏĤ𐭡oX uMkbC(]ƃw|}񅨓O3JK5EELJhD:>INysHTS9vB.Ho3ZΔm|o[ 'a1.O-9.\toƒIV/nsIG@u*>|P~8KX^._8斒vy@==Cv5Cjq1լ2! _F'beD#>g1t\fby$s$U漾N} j{7Spq[S*vX?1\|v`uh<ɿ`p^'#*.nPI,Pl∻DcpyUT>={5HHTеӬEPR&w֝{C6đFΧ<,9NݵZ~e,D9x5_쀉WiSqRy񿤨Rfʵ`!"XC)/󈠂Oa6Kmq!lyj~3YM,p[5aG橅qxnG8&Wd@I>&y2ќQ|}5%6G ie{3CZ<-A YSzgYZ7zXZִF! ;]ŗXiɟ1'x^܎cj`CVA|4( ܷ & &Cu(!4'즁Td'`ЕSlqgajK%lN (auiLg~#h?o-}H}>(cMx-7&NlG$Āfon`t'WKI)Yx'ӼmrI, /ZЯvŞw_s Taۛ4HiRç F><§'^hpI]>jӪ% aJA.U깓fGsUL2e6*NU+J9"+x<[;aJ<_}o`q=?X˞cd!],9^hQtP3H9w~c=ichfXrאߦa[w@ .=E=`wp&J.ϾQmXbU +8>7,}V[O؝{|AN;[I/*xNi/XK${`{u43X !!z`94t7߅bܣH(xN5uŞE P(:D>l&38gk.65/ZW+ҫzgq4܄l|˺"q;8ӯ$}_5DI+%*#)טp,D9W [8IcS.%&^LDgE9JEZZqrje(u8_׆޺jT{ќ]k+41@ZJϹHYj-`ܐ AvĄoۡ8+([%E?!DTʤ/?:D$ʼݚȀzswT)c >p9TWBr%NLv?4 &i %1jۄ\ #wgME2P߮ S$'ql;~,unߓ4zLjZ;JXo4ܖk#4$|Om~]2zM#U{kjgQtkcV9yxi -<IAfĘ"+ˣWԫU _'̾$Y̚ x#eaNgwO뒣>'^={Ts{fuǫI'5v_/{&x/mG/ *9>9]OYw X'{ŁWُfbJG7 ,$uE .4J#-N6Kt|ڰ&vحBLVj୧g"+$̱̚hB~lPHpP.W6je@ALfdf.uXE l]nKar:JdiKasPgBOQ&4Jb!ڿ /^u^ϬD\mPW?7p<&H)ؘ=8?Gh&Dx8RQ$E Dj bźzX3n.&2 yV#`N/?ޠi}O>̡Ӎ]b#Є]Mhϣɪ ^?\E_ 2gYZc13d3177579bae9357136ac9252d853630e30ce0c02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 b56428d245432f5f15b93df17818e6c844dce2dc d0ff61e2c8420392c43dbbdfd35f92a3f49eb09c