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 SS*E L4, ]/ Name_Carrying_Type_Inference:threads=2elapsed=22.484cpu=39.728gc=1.700factor=1.777zXZִF! `]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& IuW~O#3er8[ %z "1+:QIcqg *[Gd8W|zmF-WzWҨYAI۟}p6Ժ 6d_V]tOXUnKi;t"kuC_g $J Ĥ*&\)GNo.tĆA$)Bn߼p 5{ nK L6r\{m7熯PD=-DnXwUC2/Y7!r\ćbQkGk*n<) bbBi/x6iV7WH&N>')_QIgׅ寋VՐJ>KtѺrS"a]D-Z~aY/#rh<)( 慞YɋN(JT(\^5;W>.1_f@Q{~45LΤNy4VRbչ%C/SgYZ7zXZִF! p]ŗXiɟż]7dSWFQ'8x^SbZ rJDL4H䎮Q>u}p{l " y}\/ИY]PC>b$噸E4/Gr؉^&<@"k$i=!+gYZ7zXZִF! <]ŗXi%;C[65)U^woW^Q'JQi2<рRhn lrJF ݡT'{jl264'BKSaBɺO'R<`#CHiKNR1 j&{bW#Yso p0ׯ4aI\< e8 w¤U|ڬKr*#0[euf2z贴8B˓r<|n8H*?oEw8@ YwF:<熚56 dddI܈ch_wg>sݽYJ]1%Xt _2yMAZ6",E @ x`Mz&i]VhѸCn<@քCߌ2~T-_2>QOï|/5̧c9)Q?2Z!ދN)|tă&FL. f08ME&3cN(km[Nx#4%{'Be"u듸˩& 1})ID$KnEFQ$x dOY;۪!,@ͽFةA7^ 4W\xo "+|T'Ld7;⊴"FH&Lpkv_c *G-5erDPL>˵ZNw\`47&K",}*CB?F_ƌ|q/HrZ`۶$R&Ż][:y,AS nʷNwsrȻ2y-(a6XU3M6An* t!1}/dL")dYJ @ga"CK!!u)mTwʚު:#j֜>xwQr""O]@7'ӼZEG+IL4A0_SXDirUa+Ncq0}[ҧI j-E#n08F'aRY58_쉨TC14$^}i0.qFf{'Py@n8O1Nzͨso<VByo`xsU<^E;T2MAQ2 .\5Z9\ - g&ÿh âoXCsdCް?uE.6i{:HRDu;[a_DYh6@WeqSl`"9!'}4hw2r(虀eisZi; ɳ)>.,NwkaYC¾h s%働tDކc XŶ;v"? ?[mm{F8~hga拏Y QZ,yoPڙk.8"hV^hJ"܃wbxм]W4[oštf-µ_7"]}Yma{1_-R%y 9wG*R+yƔEd"isΦVt51n%?b6;< Օ+(Nwit6]"g2Q-+ 🉵 l *uagt)gYZc133bcbd6cc82a58486332a3e3b7bb78a7fd7b0ba70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 E Name_Carrying_Type_Inference