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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 44I1 ld\ ] HOL-Metis_Examples:threads=6elapsed=13.969cpu=60.692gc=4.536factor=4.347zXZִF! \]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVU#sp=3&|&8d?RpK0s]Z|'3. ,v@pʂlܚ'nGk!EFb誁M]ޥ7or$'6·oy VPϹ1zǜ* ,.(zpVE}xL@ ^3(5z>8)Rrt ~GL7*M B T*t*3?f{ˣ"0kOczWTQ@q5xyc[ )p(S*-JP<* t~J}'vddo+w OxUYH"~gEg[>BݺU7u"N̪7u_N5%jrHdW?yPRQlmL#F-aC8 Aƽ0 :aSx º&, _^l:1@OkWE~,=`Y#B^H#!x "kɞ"0痙jIqHjK1ĬpVk~)֘%IW=!dH pvr:>YV,*w4ZJE ΃ͬLg5F(,̤8 U,,9GPĪUs&ď/JnTV- ÝvrIoT=vR{!Pl[l!1\Ԅ!O'K(.A}3Y dL,NKꋆ"turݕFZ1 qms+P{;wp;K(j6d"IHD%`mߋlY[>`ϸY%B%CVUN6ȎNJZi{#ћLn5cGX0re]ςML?Hf &'bWg:5vre,%r*\ZO{&PmIU*k2]j,$RjtwL <6'@_XBo#Zd#DSl=2n4W 4(;t}<ێP!/BoLw Weg@ 0b [MޑƋ|ro!'$g K1#\Yeũ]|R@8oU4 Րe'28|,O5~fZiw = ^>%h|OV ݮ+ "^ 2W d(;WjO(VG09{9ٕN,w1mZO77nX *#,哐LKuZ#;wI%7E`Z (+^l<2$iX_( I#5쬭U?Oч~.7SɹPgYZ7zXZִF! +]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMy]F1}/c6s5 Д2?J W]8Q~ ? t|a;76t/գ} xOf` Ħ'ۮ@ \`83$t{ee@F:euB(Z`p'|0L֝wqX:pEjM pD+PdV[Q>zJ B f%[o),L_,$7D Kp2de@BFf gYZ7zXZִF! D ]ŗXi%@`j>nhb $Ej.AtXs!Ehƽ)=jLh wy&`AWDEHlOHA0~/YC8b{}̫˥j8Ř֝}sCEH HO!#K;BS|s"faC<"lGa(T+56'F{F#8T\迥Vw9BKBn̕܁Lᖡñ ĸAeDsk/hl&V$0|_V7@97vڛdڿZ:ykU K? XKB!;|"s}ɈT.L֗Qf;j0E)w/PƄ!dм>cAt&D\VfssA+To;߀iؿiae<{[nvlA\NwP| c7&RvX'] z^:Ra)ƌ_¼f+r,L@0cdFevÆ1(ݕ̲|FD