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 6 $ t ]/]CRDT:threads=4elapsed=19.955cpu=73.840gc=3.448factor=3.707zXZִF! * ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X[#lDډ1tmX^H׼5릹 Kx, D]-*@h&to^k_{7.;^`kHzE.WY*n8φ -5otpXRwb~ۄ:ݕqG? T"H{d7y`G뤀<8k\a 7&#>d+uz![ߴP;;~!HsbK,AlOP0#eoV©ogllzĘX UfgYZ7zXZִF! h]ŗXiɟ1˦rnzx <@0+gMLH%R=Ҭki[o0/6vf!jB:$E0I^G`A`2A`nZN.L;w Ȃ3i|Ϟc?X-ҥ[[:̐ZNZIDS2J~n3}B:uoWU3*͙F/t֦kX<"s**@*ƋgYZ7zXZִF! Y]ŗXi%BhW!e2>3rcaNE+Eɤ]M>`Zb:q!?.|fP8#}Rۭ.B葁q;BbxO-BbGȎß-ZUd!Tc+I屽rdTuX5;]> &iG!!DS y #\TxW% l̲cIӸTbarw<R&1H0azLfh?,"fqҿ+a&eT@GG}a 7KN 8lzJ]Lp^'EI{.JM8o'7"{`RJaU *=P&4\ulmKȉǓ2/'nW 68zzNEW6>Irƒ+E!lqi%;סL 5| Y€]Ǟ*b,S]> YNσb:(|L"2p;TS @mv xˈEuEJcIFcoa$pPg6}];_d㾥qC҉hwmfER<(;B/vwrTL*,iL#i8P2'*ހy{ ϯm56ȡ H"(k>B7,(T]] ...()A\a#C J/7^" +qU8y5[k*Bm#Z1^5H&7TA}4گ:~- LHxCY^@Jځ٨C3,"C؂ڒݲD<+W92T 2Y )$EVD"Kyf"o|+au'!l|jC|8?(5pQP;7q.P"Q.=/r__[iqswkY;o^XwpvwХ& ~M0N*<W^uK7+1 :*ΩsSbqѹŒZ^ •9"wR)t=Ƹ?'y@ŰL [L5>5%^[p'XmpZ™N?z΢-ɿV'|Op->Ātdvu6@n iS A90iTy\LH!0 \躙)Ja8ն 7|Ncm~_@XhtO٭l< PuisDanv/L+b&zGdN + k>;Y9jȽ ~]MKJ҄G4J}9)rNuQg !a ޚ49Vq  @N)2P^cF;pڿEWN02I}[Rx{\ݢi؄Sm& !ZlʣwK,/c۹@w3(9\̮@c'NG) A% % 1tI -;/#n'o_⿏9'NFFa2:!}_*Fs_[$NFO᱌M-E2q("Jh +@IC^;]lLzȯRpʼ`F4gtx\9U!Gg{]Tw3R$D*NBQUmϓP9`)jDOAbbP塉l*NU^w 4xeuB]v΀oHC.| Oˆ?6gnkeCa;_LЈ7Q͖0 g39 p@ 4Jx7DY:ݺf9|LoB^3kF-f= x&c^!%/e5['T6'MFݳDTCV8e@OAp"^b"yZ#PaP">#A=_',W 0Q)X\j'{)6*h8UFfaY/M||١zv"ߋ#= `y$[]Bst@}3ڒ@gYZd238cecd9030c4d5290e3938a63ba0c82f502caf3853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b0b55b51001a8db02818fc96c85907cad8197530c