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  25$| ]S SequentInvertibility:threads=4elapsed=47.360cpu=163.168gc=14.016factor=3.457zXZִF! D:]ŗXf[&QeQcUU)Yÿy?8}z/CkaBި陆Lb!"򢙷O՝5_Rġ_8u`R2 բJY^W4NǾ')R02bu>SSb P;s7%"l;Qߗ7(Yp`&q]fkm;[H.@̽彯Quau+aP˯ןAK6yIYxx?+YqZ37Ąj||: HmL.բ3MPC)d-uhz9t1<) ӽAL:ZL!]c&@7R `CmYFw'PAcRqGA;%kr5j-c1SsS&LĪ5ksg#zNNh;&>w.nkGLWnZ ΤMwփ|#tӐ_Ʈ7JlE͎ %@J(- ɲGHZ OnBPؼ2~ U0@w}&/]'|+?(@t<8#KN=S+b?lAY{.7;k[r"݆kA찿ytw)ypub/͘]^]FgZmk@NaKw#+"klE\ıIt1$)!`'x2L p@w,K/G-AZpd,l7ֆz2KX1W]8Õ+ kfZ3 }Xh g[ TQgPi k^GÂFnP8sW)5:Q |T̖@+a,9ywjzeZxN$=]jolohlcWq/9UKG;+-j g\v'Ki1u~$qVKk1|r߹;jV'l$Nn O-r@XoD.yB!n'bt/ Kӯ  D_W$Y;a¶,iݰt=2C!I"B^3^#,bytY9U1q 5 SequentInvertibility  \qI;27pmexxWq4ܻl?거>` :e(`gIn*B?S{s͊s!"feeRf'5cۋԡr 5Hޠ rSm ^gYZ7zXZִF! ]ŗXiɟBܖ& 5 £}ͳR:z&겼$ra*7=Gl 4\yO=yl ;<>KsƲZ p=4U/A<5p+^ΛdbcVL5}A[oLoz4&"<`s)6RBgYZ7zXZִF!  5]ŗXi%B4j0)w 8Y~o}Y4Iİ'i:j]2VdE4l+;?Ahb!>D!S&giKӡ OǰV 않 GC9!ӣthܼ3\VAd&|/qyR)16_UOʙ!䅣dP*Jom6"\xoa9{̇m8j貌y^7l4"7Jx4שYH9 Xk鲘0oc y d1kE ׾ /MĽ /\$2,i֗oV/~ُ#$mG*Op0c|bsYzϮpn?,GC`Uea~xqyJyZC[ V맶{QM4p- ,pE2WD%$;{ՇЈ2 t)2cavE c;UFvmX[?[J>/&iK?v'Wa=o\bJD 1yM!*%Z|oڡa.d~ w<)ƭmdCA,#!C.C srl\*_ ֒i^s=r`PĹ{ Q݄ zIKc$}=-oQ[Έt\˾XTu_ialEL/i7o;E2۝1oqƱ18E~r*OR\.Ŗ_h+zpXuM+6vb#n3Gȃj,D m['RV(Ǐ#hrU ddǔ8&YXEư>->hr~{c{CwyR8)zrC#ɻG4:ˈ1(s2r8 qU6qB0wgf6VC8%`γ֬F|y'= 6KK/"G M+A3iuaFEHu"G6(F;9DP!%'Q|"F= XC&e(e\ kKleGOiAk 0sJNuȜ7^[TPXo#4`B1RV'-(z!@SOFZ'^^3>CO?pHAEpArTIC5 W'y]~ȱgYZd83aa5ecc75dd419baeb304c4752239f3c9d37099cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c cff7deb7ff074b6c2f132875e3509921ca9b4e41