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   v l|4 ]/]Nominal2:threads=4elapsed=20.559cpu=77.268gc=3.700factor=3.767zXZִF! )5/]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 "JNi[\q#L('܎Gr)Ij'Xf/lېD#.]^RO%)&X>** FX.Vj'S.ZUr4a~Zq`6J[xQG&M6.g!)ּ[;0ro=~#)ϪrCw3Z6!,cNUҲot/i~S\JmƆq˵Æ=\x ʹۉ'ofZ\Iw6o}8)rynUS   Nominal2  d>0ߢ&3.AHgzM{AG+24lA,QtlXUX_%9A+Sm+ªZ[LD. cȖ4y_&l6P`[10̼?+`>N= ɬCq'Ҩv%y< QFo؃nu>  R륱gYZ7zXZִF! #]ŗXiɟ1˦r.Hil c`1X14ѪC;q6;\mH!hm璐Qs@P`?zHqFU}\040ܛD;Fbܦ3,Kl\2~(7nRw&ռOl7D'L{'P\c2+W6nʹ})^XmOh(2Κ/Bcm_4f/{1wrvede;d6^'Bq>jу- l>[ @Yy`Tcu>͂f%ٙ36K1bzo9k^"iyQX/."-sa`} y2 Ǟw!7"Tt]X^lL_AHĠ |x|Nź6sE[4ס: G_߸K F81_菙PL6@:+ \^hCzTYOH@xs|*֜\;g @Q%iJb)wIƟ;M9<2YV|&0F !EANV?Тh[ kh`$гmks:ni h7]Ldp@J*饋@'1s~Zc$Y&v滭{2CNx~(TSBZCb )ΘT4~(Gy? kAb Eᓻ8WC*e4;bϒ-c{]<`?{%L,hy!_d,U9A]3__Av+/J<W)RB#Y8IqT^_*\4PbL:o QSʍ\gg|+KS6MXRɥUWjHŜB]"<"&J䅌׬#oбoO1mWAZZ6%Q'd ,x:%y~vf`F-S8Cx>ABX"oT`g(M 6t~q**5{Siܖ]^s m=K͔,I#eA z5WIx%1CEB/~}WcII&5zEڲ7|M$iKv}ZC-VpeSY8I] Yau#:ݐ=r(l$~MyMX&-X1t;uYJ<4%82}#.=dD/kdehlMlswv.@`{iEauJ$Vzm*$~3Jg w'Q;1MC0IT[CaSDQVCSli0߮߱eʏϯS_f0c=yؽ~]Vȸԑ`1AҸ=8@n]sR`p5![yۏCH9l;6_V\@F1.|&49*5kئN - ]R. X \Ô"(MeUgĝOpLǐ&XIGVLKzϔ 6!E_>־!13(+WB?{Mj.H6ШK5`07;"͵iCᛗL`&^N!VЮXTy315̪΢5 uT OM5&NUOSBR:frBL}Frh<(*N!qq":>IvpY oyhd J+?Ze)za{& *!ȋ'sXJ(dVjЄt'.vpO8Pi$_!@'m'+۱fw'Yϔ'ȍ]rk>=#ngҽ8'QSْiQs_vh/2kkhӱ<d&3N^ZY-G~}j%>Vs,XF~uU1y3\*G Psi" }5XP09,p=ea V?+>\I\ڣOi| EwP '&-&ٜ m>Dh\-@޵탊+AR \2>9fDzeD9q+=ͼ feß4O^ձgYZ65d69fee06142b9a989b9342a479c5d75b52025e78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc590d985a4de0fd11581da4339c40ef9013958aa8a0