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 TT!/4\ ]I Zeta_3_Irrational:threads=4elapsed=31.619cpu=120.292gc=2.380factor=3.807zXZִF! V2]ŗXf[&Y8~h8ppxV_^25:S#jVwXc0Wiqs8/ "nU>B~崤*OfImI U-gG|E#'6qr{ #G"OoI1V1өjP#:S<*Al\L eջ]"zڶ8[62U6',,ή‘h( c>,vkIj@w:y&ϩM+p;dIC)Df^X :c=vǹ׆MIC;9ֿŝ&z$y>]4bw+dg۳^2Z54)]|+q,m>l?]X;F d'Mp;6c) .AFwgH+1 ʾ?_}#7]qk!%9 M*Hcɛj6*s๊kIP\i:½(<=rK OG}j|;O5~m2#cdE ~ K˂>fbRc1ޠmȿFljEӄ}<4U$cv:ȕ u?  Ek?={@Lgh"YX 7݅r2e75rm@3稵0."qtgC> SRB K9;Pc)1ZfŒ!+gBžxu_U_wvCbz?QpvD jҶMڊsL ~?;&$,?4Pey_kx?7źt nD/.ouvc:zZ *'V舭41&D;|P9eGaЍ,@>KV[l̖Ӌ X]?gįI:,w*a '/řN9i=}R Q3xLϑіMq^RkvV'2*j](ly*I޸wOh_*֍Zmڙu7By_Dø'& gZ$*eUwݱ4p`Z18=ڞμSN |nxP ,BEG]w6}yc4座f,H* BH>öxԞh*hBYʳ](p_c? îJ(kfZj'@ĭPb* BHq*J} 76p-RZt 0Z|*-X: b뵏gw\FDaT0Kveϟ^i̅tс"n E9I-sQMI 5I^C4׀k-=acu\-"1z p6da)ZmVZWm,U ;uBv/0f:=5LKuRFBj~( F,\ږЦV Ldƈ,e-߮Uռ> `d lR(^ 0ZE F-'HVe?ATYhǽ& cF\Ծ*Zg,&` k@ eǴTUvݔV в[+'y-mm8Vli_'@^cHY6Kr\`Uȝ+__ a A`s,(ZS%S\13!!& fw2[Z1ua0\n&s L< n&i#4ɕ i`4j-0a4WznN F4\YP~…֝h_hH/]E܌x%M_5~aLDPg%@}ޙu }1v$8bD^Z3oOUx,1G혬kz_!qj\1gycMYe'KOs h*1!mJޟ2u8U6x$nw]:#Q-:. |j1(ӣ[xkE|\9dA/',0"X ]D*usfBTد~Ek RzQͯw#a]+H|b5(~>KOgxoH>ZY1eT_J8UCe7{gm0N ,DDJ<ֺNA6qH155cW@CB1IK": 5}xg7YhY ZnqB_b(Re=nQ>cOCWOsa?9"} ٌM: 1ۗkS=~I`)e5O tԏPh;# 6g5߂JJ^L9I&w ⅘n_ P f騄5ӭշi(Jy9BRl,؝=ɞ籂t?6cijDIjھ`h<[tR֊ڐDU<.tB7}&r* Ksb OQE+biL? 1i<ӉBj~v_ʪ摰 QՍ_8YD 'ay.4)ڔ`}R35A7}v4Ѫ2ZH~/VD➍FH^yA5mAf%#1H4$q8IiWq{{iԅA`r)4yanv%C;[:;to+/%WM.ˑQG9yw\rdܑ}~4QtP R>^dMAlב4 1r$I}ePhavas1a=`5?ts0v#] W_'SJ Y3'KLqOtG1#,K$XО|1̰ 6K\s*`PSoJ.ۛ 7 hϒd<.}jD1" &shݢq%YYPȑ=6=I:mǘ #Y[~(a>hA}\aޤs ;27F^^tdТQZL.h$QHz.S"g1Z`ˊ+A