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  D D11 \LT ] HOL-Metis_Examples:threads=2elapsed=37.553cpu=57.112gc=3.152factor=1.527zXZִF! Yu(]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+Gˣm\5_4 Ɋ@ gu/ڙb, :|,d;uۖ+D&Nfn ً»)_e%-2vPV!-1#ә5n\0M7/G龜^KNࠌ4-${3F rpJq>MqTf@pK]\$yRS|kJ6f;սpٵ~]쑭_7|8*IYE'~>36"qjjA60DCZQ@+smHxܽmjzdƀg T~ܜ2BiX$8ӆh]NC|"7>i8 yHLb3י(y*'˫D0A*YR 'P/y%s9eo;-{i;uuueIoܡBsobmKo*BYMRUAi 1 HOL-Metis_Examples  )J rc.gj,Alz8VR T^Dl%p/iﰣI R̳Yۥ3Bc&gZŚCDLCakW$?JthvzxܾN1( Uae>?5B|L I.x[y[=Z*,EȫVaa|43( Gn5.ͮjlɴ.0Є&2"\ -;SH5ITjW4YVxk\8j'2k il?>ۛH&O#ߨZw6"Xp jղm4*0|jpfh]TDK1M, o|>-Ղ>H+Vs5WS2&hu)f _Q`ٚx 0Bc~[_dE a7Iaw*T'5%Z)J-#i;x%bNL  GͶIB6,_[c1JmYk/=\ z6Z z /yI$UVumLLEs|`Sx̻B3er.< 2ҫ^&/)k`@ nN~M2|-J}A~=h,;~O:0CJ^^DuPZ>ˢoFM/tb/ѷ͔GwG3؊/{w,S_꺊c`Jz0-#lh WR.P| :7gYZ7zXZִF!  ]ŗXiɟ1$Cܨ }X 6^vWn p^k8hrH[˔2ؘ0D肿uO ^;Ⱦ<] w~g|¸-JI`]7Z,*:Z\,~0&&*H72|zQQa:PZۼ\{c]̔s+v臩rw]2١/4.cr$ s=\.EtPYq)z&6u) h6Y,Rkyۀ$* XЦѫgYZ7zXZִF! ன ]ŗXi%;GI=PơSHT h֤n2QMC[,|P(oכL}"k5"|k) f{ FDN'xI+;!sƂb}2Wn|aWX6;^&ʈ:5&\6:Ib`rgXƗrLKW8^AɪlP9j[ Ożvn/Bpko/aUTf(78 8-fdndaĀW^Y;Qr(G2nݣ%fWi]pE_x+(fz;Ѷ$pF\9>TNqK"Jkm@\,T:}0Ӵ}nՔw_A,cC' 5$sBhӼ_Nh  `עMQ#\D@@~jG3^bHJ<&mfgcݷr3.+P7{"B,^OE{3+ S<ͺP#B$3OfG{]ÔNܯ7"~}Z$:͍ca2j2h/ vSqBV3='XMeR )03WT}k\xUwjZsrZa3E͍|4T#& gA`hsS>`!JLb ב9mQb vr$V2'φ'#؜Y L>ɽWV .X5z79Xɦ5]FxVĔZKQv<֥Ey\c}rlW]~|$k{%ДbsۍnZ]PaY)Sp4IQ?B">N͸_uL_Qt\Wځ^J;NEZRn\#{J_(9 3NsX:)+%nCg]`8XΫ(y;g>14^j,yVi1elCvN4'Ǖ@* cy2m# .laq†rp;Kƹ cUjM./Jo֥wՃ^O׈ KK$1!I8 tpy9Q?N@?P}>7I;^AF+%I7`}%JTrwUI9 T