SQLite format 3@ .0:  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  $| ]/ Tutorial:threads=4elapsed=18.755cpu=62.436gc=4.952factor=3.337zXZִF! /]ŗXf1-"oވ? VòSE{ l› M;CXfaĘޢ?>3HԴf8W'H/l^R~߮ j^\{s{coጱ3lدёG99[3 ﲹKaExLݖ˻{iW"U5"7b*}ӜckAKK= d+X@K]!`6Wc`'>Xz|5 ȄA='{tz*Atg~9x b :!Qd!;?9_ s}jD[$mf<   Tutorial  ВmO W8"H%{6"uiNy$]N+.f1R.K^  ԫTmmTpX,Q7\GR]0o Z#6{tOpy"`Sx|v/M8ܖ7iU hhvU8D@Op+ѱzr p(]3(V&=|H6٬|J*oQLbʬgO@_9tv靎`ymIl;k2EERs;gW;gQĸIvT'M LL[/ صg'! fIr1&$f"vQxȝK\5>)Nn2VOgYZ7zXZִF! <5]ŗXiɟrj#>׋DĩOTL}e4[VIGUhAl$;tt.c^ednl_tFT⇞]C̵`. \s&P|7feKmI̭)k( C>aZ!\J+C +8h{F~*e~H(!8S6v{Nh A$AY/fی5?W61,OAH">7(߂nMi+ݔG4YY1ʸ,fEkXB*y acO{O=ѻN]SߠgOI1i5Xsԟ^/$H RDT*qNIh/A+C3*ъ锭کR<>Kò ō|bK9*i[xn.ݬwDAu"n!Qw͍'֖O,?x=!/v\ph;])M^{٘G6~ξ$M(G;OfW&uOIx9Mx63,ns䉡gJ c{$ӢEsss"e,89Icxa68tI֪P̏X&aɾQ~<2J%џR۸ [MΟRcat@/$6>R|kR?/uiLiz=<"YVfB;SO BYIӽ!SANMʥ*@-]#ʪٗ+AUP@dy[ } 6-8Lx(G4L3. r<?4Ϡ{W✯2Co6 MZ3Ջ۵t]1c[}lBh\Eo[֓I-ǐ.|WIe N9W.ڦ8 K°ec:9,[hC;0G])<^UNƋLư b'yS_=Ke7a&kOr'wo%da]6USz8]Dܖ>5Z@RXPPl$ST?JUBƔ +`흊mk|aº3$An\19:+CvSj ^DAgb7_u0_̲ª|2+.ؒ!MhHKk={" ҃K8+FkIي~k<ʢU帠nH ݎ?!|rc܀Fx[{߆^!*[Yy;M0DuI~צ&5^8cKPWz&e$nYAYTs ]E7ةًއ$>aջܦGDKñ/fۛ&V3(e`P[>~-+[nGY!.5ٍ)C¦DsJ32w WF*bhlz;Ҥk6f ]Ht7?fE Z ¬|*x -IbeDz ]'XcH\.]fUR.1tvr]Fem^+FKp0ދnTεs C%#έp*M;Gm5P˸;Lئ!nJq2H!U!Q>)oʪ/AIxȬ VlBeE!Z.->>~RˠQ"WcNL;~2pu ʢ;=I7J4 *tC49|n9хI\)qûv4CxdDep R5TV$9T f?Y&ع w/پ^z .Z8o$҆#:o-!l7Zxoa O und= Im0 UcԪ.Mi *&F,( /}6ʍ$ =8TV$HDYa:?gYZd369c914f479ab01625bd09b64c1f15a8e44cc6c78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59