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 }}3 <4 ]% Residuated_Lattices:threads=2elapsed=30.746cpu=51.348gc=1.540factor=1.677zXZִF! -]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>hfx^ܚtpH_GN|^y71E˖n _N)O,jZ\P"xP~q 1>t[tDfAynAA6Zݯ&3><+b]LEFKV vܢINⒻzP=Wî#MHLexj`rɀ c^bƪ?Q`o c IUv؂#Ս>rLd$3 6өR4k)`M6vЪm,C9 WQˠܵfE-Fe!D1FJ΀H):kT9kF]j/xt%ugy]|Džs&KeVI}|B78>%LeWm[_>ѢSR2hk5>?_gIP4֤ѝ@QveLGCȖnqCt݅462 97ȢRp賒6&(tӃPmG} ]v ~t[P4 {;IOEzVJ Ac9^PpbrGT&b[3`x[e;0ܬY>QnDc ǭXST:ݴ\|N]"+ *\7dMKMdhkؐEć,\cBSgAG-D9)a9Z-FG: geA^{@XYD-/} ,1+]d .Ř+oqJkʭGSDmNU'lB jK-x 笑`c'"KWXV8#<i$Ǜ8['Fv"olUe3%N௃Ed}!:? yN[SpgYZ7zXZִF! <]ŗXiɟi5)9ݻs?lҢ 9EV!L>i 8ȢzO$rRaRO*A'ek m(>ok=n1C$QP2=3:"ˍ[]y$/j?EG <4(b+ڱ I'"c>/,EZ.X y"-j6gYZ7zXZִF! ]ŗXi%92AV0$ ZV*qiBf'(*֨;&"\%!V$Ibml2:>hJ}fXG㔟IVAx%Rvg7ʜ,kP-@*ϙsaӔtw,sGj71wܷT;U! d~=4 H]p;=Ҁ1 6Δ{_VKuKE8pF?Fǝ x!sd66Ain?Pmb;)0` Aȃ~ضd:CE:XSCZHᔍKW­rߏ@mugAàWFi²N+rR<fvN2c|271ϑHUOOR,T:/,VbkŦG,LP5R8ģԻ"F.Ô8{&y4oo49Ⱥ}h;1>r@`(yT|$ƨ_dWئOl Kj:'  91DT/=;33AVP+JoCs8M 0mNe+%JA)w5d#9eh0kL۞sn_'=0X }d{ q{ A ܣsh 'U&BΩ݉)ZѸh{†E ]vZ~g}^ {b t(jH;pJM(YpCǮi]ptapUT7S-%)x~z!{rtU=,TpJ\*!qrgK8wYƇ.Ulf<'bo&4aoW96Eޔiۣ|$ːt7w(sozQɄ.%)<#'㴽UϷ"TCN^`"9 K ZԢhS2)BՈLv@phN!j|x)D!W *tC]JHv^e<`CrwY<O]׷uf/ljYFhB&Bbf1Φ U!#f\Hodi?uB}wnOSF{8Ɇ"^Zч7B,"_8LHDoAs)"ޝk•ˈ(,q+.`)L=XV1k%_|Qw7~PBL0