SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ')$t< ] VerifyThis2018:threads=2elapsed=73.430cpu=117.492gc=3.196factor=1.607zXZ ִF ! JI] ŗXf1-/6vR[se ?o0.u/J_?'đ }`:U&^\]>5jXΎ# _G[쟍ZmUV( )nβ%vhܿH1o"w2My )QR+QXa}N+gf#\0|$x@/Ȩ%L@CQ)/ Je-$bKMܲqA3/̄OJS?PBqo`!hM_T(!)O[fI=T`U[.aH.ݶ_@X7jl֤QeY]nİ^,G|/Z#ЦZ$FahS6iLm:]4َ[n"
8~T{9N
d*T.r $laM_>. [XOXkL3܈a1ZC!60Q0vrLXac+ܵ^?g5x7y]49pe=j,\<gmFP9ĝpLBk b[31TYKqJ$RۉWѭ:1NWҦKZ|bx= _ɷK$7 8xfÊ""oނܑ%,u&r-~}AY^t
fD#)Ua_˧E{LF
#z@[O.: pD35RM7 npe)$g
ɷ`gz53/z|kLrKvW>?8Ii)i{OKS"y_?l*?o%| \~g x
L>ljw6>0IVJHXZ61A
33Ey0h><۠,E-& 8x []fJΩ^f-=?n|Qy*hб&
nt\xSb'H1}wL/1)/ʹX)4G6+N$UK7}/?vk`ֈaXMLAi'+[@Kb84nCJsԡ['H%l4Y\pÁGtoТa%'D*eGG)z<0FizRE )8gۋSa"zTmK@%3ض0niQ]%[o|{(۷7+ѷoBeCpmY۩:8]V83J0"C:: }L"78UC^u%_