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  \ \?DDd ]]HOL-Computational_Algebra:threads=6elapsed=33.869cpu=121.764gc=6.520factor=3.607zXZִF! 3[]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C^<1 ;~5P\3~*G!0x6ήbYnqp##rPqDGf 8Ptv(üL{4VNOg7 ŚܣGv?6Oz:`1[lR:zЖZ(>1~dy6Iq1Q<iN:*2JUyްwI+uk$]gca~E[S j+ysiEAbB%󎃾0+._Ɏ ?Q=VOڴpqU[A S!IleH-T/DI5t2Mh+\;O%>J}URWoT~VK.N"CQ|ʯM'&'c#؊aOu ey!-Nʮd-"p ӧLWQ3,kY\6 voj:'L6u竕0 #݃#^u)qY210' AR f! .^TN΂! ö G A~dQk復Zį^8ֶV( ۦ5b׍& K@” ]2w~Ԛ9@w;Qk<`B6gSi\cH}F '}f$=qSl$n L$ʢc˘!7bVnU푐kUI5B;j7}3Q._Gߔňi-R~}aeCAWr<%yM^-DOiL (egYZ7zXZִF! ࢩ ]ŗXi%>@wDעbxaVv?Ё˄x|SӀq'vOyev4LsG>EPU戠P4X?"jm+Cͅ-_ .xdYϜ_mL*08=x|Xviɞv*DRW]&?#&d6A7u"ڷp~<*>pOX$Ʀua1^0Mq=yRS+ 7Xc6Ghޣ`/:ݕ/:Xm}2@ᬝTag 3#C3jΣTh+iYkꎇWf)J]+*YD=0+䠅Jz1n;Q9.bUY!2y_oӅdV2KbKet8&c&>}{V]u}SUeW2=7 Ӽ12$<)u*REt-g@B 0%`S,0eAC?ϕLx{,ʀLMNR.$0-Ia<<[2o~60jO͉9~0klVj 9>^aaZ,ɿIv ,vf(=+GwwMr(^=chϷ}R! ײMFc\~ʼn!B&J/bFӊpBU׬T]2^WZAu`oJnd#lq J;<KF%H 3p`rRʖ[4Kg4HF}ة vW[w21Ed_3X:'[PtzYM;e 9 k~rF&;^ÙÜz(S[54;mm®ei^ASďM1f:BWvft$1v;"/ S}yP\g- [jF?*3c@$Kz6&#UhC_X(שW6"$iQ3-}RfӆGovQhLո2.#ƻ2HꊩGɩaǿ*5A%?$B| j`!~fY0CwItgl#[ K4A229|g;@zF?`pS>58jh aZTb_R2-p^U@,EZ"3Ad0DFjUBT/n(O+vSm5MjΞOws{Cte]ل. ӫt-qe:sALU~ޭ[&SՐC.f_>i׀y͕ NRMFw\ʙ`v 4`1sxܫ<6Gr\޹k؈Vc:<굥R"c+F;6V/ɕ9tރi[RŽЈX;,*T35]ҎxQ}R} 8dI9y3mQelνgVaI͡I}\(Ο3ƖWަ4^K|?T4B(Ҥ HNwI¤,O{c,Z6gPhp6^w6Q"W#,NuQDՉU 4$Jo?'X16+4537 wuƨ)B[:ަ5$>3ߵNt`hG"DK|/aۃ%|d'6\پ?f@Vf{@>/^g(I~óN>RQvȳs\ }@-s@fdfF5]k협f,,Av 'ȂWl%[ĝ% m6Gu0mhr֜#( m yY?[<\)GTCRΌ/H,VM2k".u_K ߣMC /F<"Q>?!Aʬ,%qxu)z?4U Y(hբ7I1K'`B7Lu?w ,wJu_;=xH mjxD#'׺}(Lzr)|g| qb'R`+gYZ6ee441c93c525394ee49e9606de55bec3405bdc96a4a8939512f5187f2e67f11383402b7a93008e4 c57ced0f4fe1cec403fa9d0a4a34248bd37ba3a2 cfd60e59d1fab428755f5079f87cb77b601d57ae74952dd18181ff5f33cd2cd1056db340183f2b67