SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 z# 4L ] Shivers-CFA:threads=4elapsed=21.504cpu=67.580gc=2.508factor=3.147zXZִF! m]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&XUkOT R(RWFڭd-4涪^6)yK'=L~ϕKgmD_^g'P,zLi+wf0 ŭ&t}t%.wYػUal2GzeZmBh8[G„ҢL'2K# [Dტ\͙`D& ~.n):$$pW%JII2 p^|T~@$ 4gf`=X!CY?̈́ JĹ04\*?ņ8BP>gڪf1Y8=iX'Du-@GEhҠp>3&|R:M=]g<ؾ|̞uK 3E2q pELx_Ye;d|.930 ߑ1|k`۬,v!/#VRunWӱ;Uqo*6d} *{ tn!K\E0mM` W =|D*ޤylgYZ7zXZִF! OE]ŗXiɟ1˦rnzx <@0+gML@`l :f}5~yh?XEJV)y>E=_U6>ʄƌq-x^T6^1OMI\Nڨ~2 y=(?VPxJo⣫Bw1 T!q6 7 l:AZn12{T"o`ߜp6,-`>*܎+;lRkՈ֌i~$BW`cP'6 ,sl{o 4ͪ n%mi\!Ϊ'V|G}LgYZ7zXZִF! N]ŗXi%Bmll;~"3wbX "͏X,+lX Ϸ񩈁`|'"K/!_yKYc2bn pNf;56^d)J1 Q~av]b. P?r;6*7L+l>!h_\4Y&4)и0*>'&o#ST!vb1]mQaQ0YὓR0(iI3tގpKt!ս<U@3O$Di$=Zڳd|Z:o'ViShkUlۭ%73jOdk6Rz!FK=\.S%v_<dJ(&5 %䛬dy0@eʅ̢=5d(dV&f~&V_^]`x]V)oKڄ$si"R:+_Eyfz&JmjD +kuK}S)I$&knti*;@&.4р2b%A/yN9G 9( ]M]hPr@Ι5b;J^>2*]!Z5Nv‚g{by3\K%a^ 5ќAЪJy*욬^/I8gljy>O!Fnnڀ/D^닶jDsdtDp}J*AwxmgTP!Ng`{nh{3GFߟ)'=h*: Ii-Wp~aOtd6$d\:rMoIg;mv9?/O"|>K#a.T=X^:E=k<5^xU[xʟ"/jw㑧KZ_I-3x$ZU! %pbLQ>ALbzw\ T"pRߞ^F/L!% ק6q]&Y]IHm04,Cv$b6-j-@]=Kh䪅A üR֜ '" .8;>o4ɖ?&uv,qT1!bIs SRj eF·9_d =opyyY-ęT n~Gb] |Lch~aň{z-3>b9@BwŇ,3]Y"|]$ п|x2ӊ-Ï^v'8 zL%|rpbO%!Y:Z0jMyj:b2F5,lt-8'tiX9>ϛ1*{0?͗~Cv>5M>R Zؕ8@,iQ,J+gaoLr3lGkڼr9jMJH)a_{o%Kq #FeE߰i+V@|s ܢr&Z>mH6q.a7K=/Ϣd'gYZ424970837a34a3195b548aad6753285fb91130dfddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 70b28ff218d28de290ad58ced4b3f912eb286bcf # Shivers-CFA