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% <$ ]/ Generic_Join:threads=4elapsed=20.119cpu=71.516gc=2.040factor=3.557zXZִF! 3(y]ŗXf[&ID+]kce Rm+v$)z)f ij f߰<'}76'j`p%Dz߿NaOi#F#yE9Ԝ y?٧O?58u" jiyN3׳O%f?Pm؛77#Hȿ 5/ n'~ j/̿3´t%ݔ$&=dQWee-.vvu6W="?hsս`.:hTGiB|"mgmg$+7&o9LwȢDlœq % Generic_Join  +/NmH6ۈ u&vR@{) WQ1p+dI, /"ڏ<TMߜnp;VIj%~V-}JtָOI9 B8<~Q0N~U }cdwsk\W̸k% dȪa ~GA\+Cw^VP=9:hV-wE)^  YWۭ8G[&^#AġLItb Y ;)͟:ds-nu}sLȤtI̵@' kǢS@9T#$\+"̧CQAcChZ(a.Wӧ") Z k_>*'mGC 6(Fdzsxq2Wʆ;TUDCC>L\'U?sfsc΁(2`"/z[9!=#lW^@kJt{qy-@-h[ oL䡬-||Zg.s(OCa)&y#Hr?|3ɀe(&޿8!+HL +޳ns?U׬v¿Ős]w]*%BF!⃪ZJGcX_E&ϵyJm"4M\z!4~T`:#j -@ʲ ѓ5Β" p C _ZXGsmhǴS HEμWիE~ Y;jI` (=o}{`τϐV n( _ 4 7e fAgYZ7zXZִF! >]ŗXiɟ7^aόu&XL{qd:#PeOO"[A}IVׯG}>a t;[&18phܠVNmcuG,sxjt]d͚WAMS=&9gYZ7zXZִF! f K]ŗXi%Gg;08Uҏ@c& 'a XdYN´xnm]Mϴ*ρnJ=rJDAP]xJ-.91=@喒9lw'+MYtV6Ɂ< /e ͅ3N-u*[9|Kpy,Ͼů(_@&C؋\DPGOTҼx|t'1oged'ٙP HSU˗̏H4}ݟT+Ci,be/BQHm *}[tc=S 0#\ʧ;O IjtPza8psHĖ7gTTuN!Vt5T9DZ?gV1 n]f )˂e%K=NǮ|nb)D-0\iX-;j`]M(pliE@#,4gׂP]C;œbL?)D6h'FwX"ħH$/]K^퓗3/ud3ֿgddM`.gvϢ( TJy_ w CquΫnXhd> /š׫hdZ^Ɩxdd сoҬD0\ TI(sXE@v@~J"qcwqp}yyi #x-a Se2?NAI  qOnlR0qhK.O w\F5jNJ3jYG9u>V"9ݱJB^*HY>r`g%^ޙt2-5uh ʼnMPƤF'@˵`4CUt-h8p ޘ#3 +NW0 F8@^.o|>n;+׉wYa|qbUT/"l'm8Ho(EZ0-M;l]I U_1׆XBBsh|HX>`YD1T!j)zZ 겳vx2"ISH` wCU[Hɪx:V>mB*Pqb*C*uvQ%ydBYmIx#96lC^$əOy_d 4Et>GۼڬLNûĤ%x4M[$)JkCRc'Fzg^_΂dK1aF0ϼ  # j4sބr!zwq<֖ ~cB-f$=+'+5\+)dMX,?KG{} jT|!TY0:!tsޖd u ]P1>8AG]gpqJxJjޏz#В$Eh*yH]V'5{"MclgdžqX W;hAmAUܰ)&%p\q