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  7 |,l ] HOL-Word-SMT_Examples:threads=6elapsed=57.572cpu=85.328gc=1.828factor=1.487zXZִF! v]ŗXf1-q恈2Z( \9 .b(BlfT+mmZDPJ1X%ɀGD1s 2N' nD"NxbcFfk5ͣsQ*4kD.2;jMt18/Kgw2qZ.)y* C9uuV:0l״+O16jiK?kYLnA'e ЇGK 6w/ZF$,%eb1O5) ps.E1E^Mܡ Wv /9h\I?*xZz I۲_3_h 7 HOL-Word-SMT_Examples  fEZ/p抩iB@mmsz;}lCf,vMBm αpG$d,,1bqyV,L_;%B4PZd },g!Z6y0|IJۉZoK\Ce L?/u,;@Htl]},]kNc¸MFa"d:T7''NZg#\F+KF@mWpFoeQ)x21pDZgYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ss0( okjBF*_s@(Yz/毜#K :d`I]Q$Bn~4_t.Z{>N37L[ardMXS+/C1Q$vv:4mo@PlK4 (Yj wr& S; +?x/o/lG¹^/z%ADK=D OuI2hL;z)a˝O^ӑ veg=u`dYeVgGm bzZwjR559(,9LQ)GiHS[!b|ڍCqF^a>m-4$oY ݪ_*32؋AZ$D䀭.X];o9li KYYJ8KX^ y)#Erqi08Hd$IS~0x]3K:4\H%1i˄3Ù$$Q}0f~U(S`Bl^Q*:W>@v* Y"/P`<}(GW&tU^cNVd7b$M'bqʷ"H6cƟԠO㳲<2+41ԺZЗ1,^R8AhbۗdǁC>Wi<;S25 b;6IV(6lhV^ZZqW}Gbq/'gU1v)6FntNV;_fiqzà@~)*: qrLhCUC`@Gaeu k" 7k<; p9٢F1O`t(X%Yk?SɻCVBWN **M)SR(QY9o>RS}boa~]VDsy5]ҩ i9hj Ƀ狊mC44}խQNG֏xEf6"ګS\515=Tm] Qá/;,z%֙i8{Y J|Éһc O hF#LsLZ:Q pO@DmNdu z6n6 P^\j#mW@ǧH'Hvr\3C"- M`-{z8>A6?ͯ/E`$8V1bWU-Ds_0AEڤ'mψ!N ^GǓ:$ X(y<ψ0ksIPy/OgJk@ZbȢ*5^kWc'gM-}˲|Y?>+y {QqQ܈5FD+{ ?oqnҏTH>DrI1ViAIrmhMҷݪ|W$w4jB Q&<c}e:jc˵ `deL~udi>mŋIAE `(Ӓ$q~$zyn*lшh*]-)k XHV 'Ҫ wSh~VG b^Uus9ED3'N`CԀdQ (5GgAlx{~[$0Zk{`E1S>!WڝJ\XsɽZr1̘V䵞njV9R/UHG2k .L"I0BVQ% ׮.+:9h4syQq|ᤅ9gOSZmVkD1pN򔳎6$AuP^wSޒƉy!{{{[:i̮~ݬ"EЗj$ jp $ P dyQ~(Mk3l:1uN c #=SVH74恝l\q{,]UNED" Vl[u xkW$sZk5> љL>co7$Vꍅ`"Icy ./L B~õ'ÃFFd7^)1غ+ڃgȄ!qS'vsh=ǯ{Sm;_nPa3_<R5X;̟ou8{Rך046SdnB4<^:W\zض/s@+JL˱HA5Jn /0"HW6 j&LQ[nVDxq,