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 o3 | L ]S]Applicative_Lifting:threads=8elapsed=14.715cpu=62.126gc=3.771factor=4.227zXZִF! ]ŗXf[&+Q0GhweTVU1T=pC,G=܍MTn݉E~HG3o6k:R6eV׈_Mj3cJ 2)f +*-̈P U/X2&r~hF>v%Bs`7-w&VH^ʑAztШ\I!t7b_7I+LHrpը(=j3aoӌGb)$]AjDcw#KNA.q ru4HP`Cg` 0KWN n58;A9 {OɢK&qԨM@g3bB?\.ق 4dž0"Ja!bݕ#g@>=4Zb (Zڜȍ= xʁPIW-@*.b>+1L[\DvV${n,vF>cLI_@keuJ~`o|sY=?ǠjMG,n`vAVQUɋFqgD&DZ?-.$NZǐ|=yo2☲aTԢ3эgYZ7zXZִF! ]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>[F vCҩI4i2r =ʍiB(_aӏ;L+2_o$ ڱ#9/7E˗ 'jlMG z 5g(FpWl(m>=ȎZz70gX[XYTLK3O]&3g*D}2KQDSkr06A|SSmt/L5$1LG,f)^eF+ *( *e*2I6Eȡ9GޭƵ~#,E8'v5"ej?fk9,83րJ}U pi<2Y#(g)}"O0Vpe XړMP!GX Q`/s|Q"&͛3U&BVVp!-Bpiۀ/)q(>xL =7DJ[O2R1vyXlF\K=Ά!f]є*]V ^U廒L1G֪9xcmMTu; VzweU:_+գrX<) یg5g0 SB[\@.rs% b-LgYZ7zXZִF! ]1]ŗXi%>t{Y FZmulUy7Uz=z/#%uG7G$_jr[eP 'F*yl ݬ}DR T%;w .qc:yq&%6ZXÃ،T9m"ڵZcaƣB'm6wMǒ/+w4q8b<-S"wN:2gF4d&YQ/׸1XE6{mV0lt;eo(wK!g6.BFӽh͛qGЕYm ėd鞟lccfԣ )[Cg +#ur&tzJX0GI\!Rf.d:Љ3u#dV ej5FSOWƇ.c_ !+ Z'/F{ .E(DnTm9ۋ)؉yMfZ%R $,lJmQ W/wObҹ1H,jt0n .PE+>uKh~' *%Shӏ-ey#eOC?_ia %:RKVbGEcP~N|D5,4ֶȈ,(2==u?`nZە _l;[ #9L7Kp#xRdiݒ&"tobDm$j4+7GO12#.s?k[=/}5w5@&1iSg%HȗdwFGUQ*zqK\c_RR.@VmNL7x)Ŀp( +`DJ 9-{ƸC6Qi<Ҟrvdn4N!ѩ5+zt 9 8nGf7#|:_v߳jVRrEEu\`usabҀhy#ѐ6_ߓ骲֜pRf :gi=D'‡r F%#NC8%rbPH`[{5#!?慔ʋx%ǛLId#˱fWҁ6tgf%i,&݈{뽣641 FSjK=j?Cvٟ)do)Iar&[[|)ZɩrWT\guR灩! ?0",[g`,wPqEs>(7VKA?aVQ4|7&vj8ܘz]0ĺԗ 2w 9`ë =PόM0.m]f8ƟDYqz'C0[\yjg+tSi0< otK8ٛڡ]N<{5=FTy7e^= m'yFi\2 {kca@Ug %%fgYZ29e0ab58cc25aa375c44b16c7753d3a75f46ba17c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 b2428d9a839bce8c458a1e5816ad0517d827ca5d6849db45c489d2ef288e9b1598e10b66fa51889b 3 Applicative_Lifting