SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 -l< |] Lambda_Free_RPOs:7zXZִF! .]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܴ^!08}ޑݙjflTpӑ|C(Mp͌Z'z}rC^902u+r <4:F8K2Oh*E!FҒ|3> GwkhGc:~B\Sv)qvPmoRYpk|3c" mHm;Fy̗44`+d2_6`CTT12Hn'}:,KxnCwdju!6W(p=TKKBeڍwW 6//9l'dEvD1/_[`9!H-c_Mh$1guaǟSŚaꑮ;BPu[mi_ C\̦XhFPt3-=!@Hy%~^bU2eW9*4yv*h8#br+qfpzb |{߄F@8կDҿhyp8'uuso5a$%oub_VvҤIr\n˜b5U[{f8 UɠŢd}C M*c}#B1t:0+CoS\Ԓ @o*8O)y" r.Ǫz^b!)%/dduk=3@1/Kվ]8G;gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"$r)5P`oGڇs! G󱒖$`m~^ ,:?Qׇv@vƧ4>;3<̍!Uo.i~G(d"Lg7>6'i>맃(AX[e1e/]ów &q\هbAr@*3j1QDZp: D4׿ J ҭs3Y3.)gYZ7zXZִF! a]ŗXi%BBJ@Rՙ8$ǝA{B=dHhDL. oYL25xWMT2vrKd<$K'_>yu!Iʇ33 44*c\_^ nn?\ #?x&3HmD[TO{4UMۂDry/LWǑ qh[,iomA^cUaN~3F3JOWy.w?+rGJHbm3;nl7)F u?H#u_xjtL:vc r% 0}珌|1RҙtlJҿ14g #)ƒQuP殖nJJig/4~O6<+vN㧝FdTy7ZnņH]*~3S:$n*v/?lF$׋DHT\s-Z[MOxrP#Fc{ςoup쏪6N|W}nAQVuӺ<%&N^;,bwlzX+b̬38c9Ժ>m1<6Lf$$22jljǷY_V"k=G+wkө[HvIYឯ^FUg E]B袯R\䧎Iq 5u梞j8H!;g8 , w}M< )220t-%L~t̜G?GEr+F m5G!%NW/)! KK6/_y IDU !,.Cc]* GLnu,<Pq~<)崸l=@͚zq-^`oGY!Y`OhWhO2 E}g%E$D^ }%H `*IOAǪ)?%Nd4lluL D}ei^FMEjh;[ܭkKЇ q2SKJGg'cEP3%`gBTcU&./t+=L/%<$+jJ7#fAl\??Gq<6ԉ˥B_ x_K^x52m(F+=sxa]ʟaג› _ 1Yߘq)Se@PsL@Wp!iB6wv.RY *"!+ Yٴ`Dh0sGF 6+S=snciJDH*F |Fb{{! y~?._Kz]2r'Rs֒%lv-灐?TAW=݋W+xV(-"/6MB9U%bփ1SUI?N@&;klS諩X(Z+gYZ7zXZִF! ]ŗͷƷ͓ABlHQ{ XY/@% y I R%ˠ6Kf*2ch7TUdؽKW;EEO(_N|R%zt!p <G"wH`g[Շ)>Qz01|"Ꟁ5E ˬbM,X3373o|6DoKc~AMȝ]Z'o-T7D\RJgYZba9e46b2a753e32590dbc837371962e1ea28fda33853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f - Lambda_Free_RPOs