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 'rd\t ]/ HOL-Cardinals:threads=6elapsed=7.811cpu=44.612gc=1.7727zXZִF! ]ŗXiɟ  Q ƎRؑ)x0/|>@gC͒jD>M[Ъ|Q-Sf;5RQ$ Z)FE_@:Y&pOo%:kt8Sd$$`^۹DggCƚh<# {A%lJX`_ఁ@3rz3Q7)|SX<'!pU\U/,eB 9<_ꣂ?;vttD^`^}9O|@@@B /m,Ԗ`KC|{4WO$FE~fبq֯b'"qȶz}IIu7L1rdP+PQu贵A^h{V؃Xrtv` 㿤M~8|k&}jIV$)cR\_a`O!{'_~N7)D='ڒ5.YMڏlH% (;|RM3.=Xtk[xhJps2WolZ FǷ~Lq=a#g41uu{Ux,i~KCM0D2ͩ1;J+X}ZOzR'͊՛Dm> S,ኔciV7|~^ *^g>u|CEbJE|r7gYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 zD]v o.@| wV`'9 `V QfHrPuTs j!}A mZT(R^KFñaQ9C?=K^wgYZ7zXZִF! 's]ŗXi%L(gqX@H&ȐLz( ֿЋSԢ5[-gbUx-"z[(}fQMqi^ncE; n!*BKͺi]*z1$ܷ-=xUz_2IYDdoZ2Ti@.䵠Zu#*-"_{>zdCiv& .?F $FۮVKU^2c%- 68N14iN=NZ *6pv)SFQwOhP>d̃L1(zF9ymK nkRc[ۿ>Lm =G@M[4<8r>b ^E224`]{U?-o%b9y6ȃ %F;ߨ QMS@z[r 2w .֤JNpzgzs_ EOLTwqmpliX90);95"12~*(myCpY3YOs;%f8BJF\qN[}ࣵj)w'a є^:RN'ryq?S2^<[8tP|