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 / d ]% SDS_Impossibility:threads=4elapsed=53.449cpu=90.196gc=1.568factor=1.697zXZִF! r]ŗXf[&M %_7ԉ y}ث]HpN][9lt*=*w^芅h,yoaF*t}wMu+?86S<πIzAy&{sfcع0GJg̤\^%Ln¬\^}[|+}a`@퉣W/B ֟̒])EF 厁iCfaCngO-KBV!~dEADigv+θy>sm:)8mhfK~b%c^,6 F3G b%ޕ26TYGH9+(7Z / SDS_Impossibility  ^]Ty/aDZkgzL.4T/~T%:^C #UbD$(JGB?'fp-h_TF5>U$!\\7兰aKm픭Nhi2J41HbKF9@GHjwJh;ߑo%b9|"o`GݻZJMIc]m QM:$ cѧO%:dH3+GgX[2 S/iGANpyZ8k3y-hlf: gYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G Eyٿ6~7` P<ގ8Y+Em ul`fZ}YZ7zXZִF!  ]ŗXi%@b^~Z)7Ipy/5ɡ5Wq0{X .vE+"cj4nHG6ӹޤ .Džlza9ڻnS%*eGI\dg7Wt(}$P(؀͓a`,ksmlo[XK[X2m!~hXiRx/=PIғVB)'Z(!>ܡ1] =VBWcy n. &ЂCGn*_ԩѾ|VE$:/Y߿9%;O ?3`j"QVS /oI\ZUj[H{ycuZῌ\ uz^TO_h**@{]P{v%Qw kC|";+м8Ԅ|R~Fg6,1BqAQL{ ܻp9f3+#t}5u825=!+LF1wԵڣ||ʷj,Ӓci69lGKC: byb˲bDaթ)cMWk3DG߉´!\E`$k sq(\[CCSmpb[`6+*-mɄw<[#S(0ΫM<&KnH BrP87y9&b/8ɒ<_#R/Y2jwo" wCp#e  22ɇ*]19׵of~,m+ZktB~1~#4JF5D[ d%wǦg 9~4=(j,Wnu\R7WSf/Xx) >\9~ũ#᳔ L=E=`f.̓#]\3G̪9+>wf_\yr[uñ`Ukiꇓ 0`FڣrT9^} rJ]8e`0vO'@5=ԌnEHR*V[VH4Br  tv@ !1/P:jm5>BI4ll_qQ6%A MMFa+ن`~2fo*բ5l{K~Y/"4ѿ }}A\( $}=W' mLMzɍGZlC*hG@AKxRlj59w`n'C~h; `t]8xflp4d_>DJ ̸.3 #'{]o)6~8B0kK&s-0ffX%,|6"Tc2S=ټ_!|('?G[ lQړ Z|,9C%enՎ n?`gWө Ah9ZgalELEor3ۋ?<+͙; 0Z&8 , QcePoXYb'SEV#Uъ/))*Zwv_ vqt ['PRR,y"׾}q}M03cYj|UE^ܮ{a6  Y g2ס$ܥj-c6flwKho~7"T2#mUn( x#k5R8$_ht_qDqsu썴spRVCM!n4sřqXuNv5ղM 銮RF yx+7o=E ?3l-"vqIɤE-|5LWo.= Reڵ:1Z;e za^ ,lW