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 <' TD ] ConcurrentIMP:threads=4elapsed=19.994cpu=46.544gc=2.304factor=2.337zXZִF! b]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#Ǧ`II^ hQS"7Bh3do9 *H9TlXkd1FRu{JFd0w _4e--÷{xq)> *6gbycd}U,ΓTsӪ |_Bx̄ S^2 !Mk:`R]l> B I)gԒ7bK0~9Tbێ -K 3M-_Mo"Lm e=4 FƛN3b`yM_ڌt`2~ Y_8>oɔږ]3.BQVH0thQq?Z[ =A}K3zZi 4".[;+kky6 v9dzo_j%-6oy)`h"0,P)/"{7إ)Q+dn՜%\[?glRziyT}rV4f~;W NDsQβO3]Ոḙ24"}Lg%MgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wʚnTEmd86T#T.1VOV3?ϖamg])/æ?WŽY uaG7pN17|/Ћ̆Cݍ7ҋy1'V΄ K6Vsjd\7`k5gu7gYZ7zXZִF! \]ŗXi%GgUnlom5a| rS.|k![6Z/Q0= v-藠r]L'QiiJ*O=`B+ddԁE߸RN6Av(&zAU*T #\ǝ"F1ct`Q'`҉T뮖2Ͽ7wv΢(*J\d^A3 B"]t\c{t c6&H=LQ*ᛚН ҮzY`855RSp$xx^)NkҹډMeH抾^,Vf,ȍbW+P0#PA7e;^L nd_3Nq(n!C"$=&Ij8e3)>R3E[LExz:I<^XtwKCNES_?"B-c. |`L@D;4o-Y1 מ4A6QW#EUF6b;Gxi$pn.\-g>q;o72A4\Po>̞XsghVAH+9dvCZH?`Gʃ ]G,k-SЎtY<|[7Ӣ*Rh#NFDŽKEN;s!2sQmeΖ1aH n@1P)ɊH|\ڴisM$[ʟi;%l,JI(HHM"$h6 xF\lT|)RFjuOl*P- 2*ѾœH3 %e>w$I9mM9En0lfmi&n7XX2ߒФ/*V?1'!BnĪ#}^$N$=[ԡ,yk!3a[.b;@ME^>V$nHjm_o%;jI&R9!(Lӑ[0m+Vҷ:#}PDRZәaG8hGm"MՆm$Ԅ5?A -zt vW}kz^צ~iC{]RD³ۼ{MhBДcc *.rggOUtk}3!;Ax:Pܙh.!̙ V\A:-s}m;L:nKi}DoTBb퐞cʀ Y@TQiL]Q*YQ3)sÓ#| ) SdNDp`lf4 ?9/X9Bdr9̲4, og .6w7eKqm0oM C  #8H^j4sf\nצ8/^Qxx{Eԇag4SZ^7"J2eGd]*TeF_c5H iF8v_E_`h܊{PhKtjz8a2JAw0IȃYHeޖ'rGB)ۓ|aӷ>h]3Dŵ]岜l/vyQ"[:1lգBqH_z\$ondef;ԑ [ȿ0H^3Ļ-[zOB \$1`I +-ш;E#[(%0hܮr֙?֢_27U#2XjVNƽ m={mӐ@ 묊C<6f)Q/"#UL"WGA**cih}~z9G[X#e E8dP e#/ ꦿɼG9-K L QQj;Tt* "6%j|(NA.AjQk!k0򚷂:-W;G ){}=:L8MJG[ҔBMN.JGM%8Bv C*vu蟂gYZ0fe304357b5f466266cda885796469ea8da85a951795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be ' ConcurrentIMP