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  g g5 lD ]/]Automatic_Refinement:threads=2elapsed=37.841cpu=67.552gc=2.820factor=1.797zXZִF! +]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S٤g.Q3 -2"<~lMN 4 ~!dRDy_vnתwWvPzT{3C]q?+# oӉ_(>Lҁr\ڮ^ _m[dTIsPay 9ʰuѺ(k-1)es2>!|uVS] Ń `,h:-{iB/ hv< :M k'4“9~,L깍w+ K$p\Xrh.x*H;ǁgObm~0qL, .BOF}wv9#ecܡ`-qx\#61;wNmbY C|*IBm3p+D3< e|_wzim^M&Oe2j_ׯ@.tn~#MZFCE< }oXUj*69A1gSz>(;`vGΒ&8I^רE>9\7f :.67p>xdÆ4IڂѢ'aSWŞ $9xQv K38G ^;#5Gtug']|T;U7;֍CH[!3|p pe %i VQn0os[_==Jq_̾p yCX)x1ĠR}LDtɾ(P'w灦]^p>T%n]rJBl*X3:n&86tfP)i 7'zj Pܡ?M=萈Lv`$lci{Ҵoe23EK5vኹ]\Zce gOgG+DObn=V$buZRzt WgOgYZ7zXZִF! ]ŗXiɟ*#; )zhWfLծYw z\DF߸i ,=D{~Jatϒ7 gtO78'-] J-lQ܅߸4 w{7\hZ;?\Qs=;cfn9팗ڭҕKmw=D[SUja~%/  յ1|zF*`G7qVCޢ9 86+ -޾6bJY0 #_3C5^Lg!(FN[av`S_Xd>Zڏ0)M֢+ZH!ٿ?FM0NTH agދ7t?! {'`# `:ggGT 2%owstv?@xOk=!ޓq%ǠEh/][fS"UeÔf*2EKel1>7֞ϻDwF#A@YXo6ofM=lY 5Fϖ~>K6w>D:IP]9ՠ("}6G(Xp]'*'@;@A=x1?mOcc+QǦgV> L/(b`hT)d3Wq jtѲ+(h` CAM+\g5U&3),a͑#"N9LˏͷKâ -,|b7h6~wJ@G j<2P?}J0ؘ*^qXX]hZ^W=G >R>yN!l`ZrbX)$2>xXEUzj텥Fߖ jλjj1jٗԺV;`M8ͥ\kJ3h4E0qoU]]MRv1m1xf3E(sP8gLES?‘5$F1RT*|/Zk6 $.جB\JXh[_R@+\9AW7-@^Wa(f+$jKʜ72x~#P #P9F;ZXIp^ x(Hd!~3t -jnQd) ,E_^InW:HDG 7b3LNGA`ap: Pqu3N`ZS"c\Rڙ&= ][ˢ mT2Z"|;* ĉx fm.q, v' >t/im*5PtuOF-ljQ@|ʍӐMV'4#~9toHtEO8}__8.<[!UΠb^( y pvpV8hR*ׁNB,14+Y*9̎B$},3zk!K3 L(5T*!Jql0[~tHgp XǦ J?j|˓>*Γ 5;aNq\8I\b'W/KDh9}ρN=[w|Q=C-\H>Nux(+GkD#7ܗ <$&lJ_kbYC-aZv;Ͽ٧no+6Ҩ-Qo44c@P j1r^Y/wuh}m?!W`VɌ_IlG>61Xya2 y=Қ#@'_P nv+yu$Z#JSgYZ6c05a83e27a3533eb712fc30e5fc04eef9c6bc2ea70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39bc04e57dcf7ea8c69af8c3216e544bbc1ebadc12