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  ( (M+ d$ ]/ Decl_Sem_Fun_PL:threads=4elapsed=25.371cpu=91.132gc=5.008factor=3.597zXZִF! ).*]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{oo s: cfaS{ıC0G sETF^nzTrpqvFB|̗Iz(MJn@FZKjfRJJ%3cg{;'kgɧMz >vK !n60:ǟq<9Tpң ]Uu5_ms\yXc@W ݓ"1f([Za%}nOm0Az(⫃akU߀5gΚx}vPdlO@O*-2f}Vb20W?Һ}uҁ mxC:~>dTZvm<6dTH>î}SK/5X:U)Gs cAE1#|/Ȗ$[佇%*yl!('V9B{ÿ,B ңNA cMHw?:Q.R!'7Yc/ԏbS']DX'DLjVktO{R N`=r!Xbc:vDMigYZ7zXZִF! ]ŗXi%G>E{lA2OOQ،LvY{t) QkT@ n!c 䉫&WCR/IzbAc:-kQ.gq:APWl5V(7_qG$RV<~f9ї 0 YK݅UPqC%x+}*'kl*1Bu[mmw !5g U% l'*@4dj&m4a#/cµTLG|r9/h3/8cMQ~F&ymcгved3⯏ǥyoM1Wy>YPUh:оT۳Ov, cɀ ZSGĐq98*28ɢrЍLD9,[[hz̎X2ل^嘖ĭa茡Ɛ30avrSg;o,d$61A !eR;B@l'5>h .Pv4E]Ƴ>'#X{[1X3e%8Em~na5# 4y(e?a䋢E%N>۠ESގ'i2wfw|*^xf/o\ށOfxC湙Q4INDSΚݫ= #m=㢦?HPvصo+*kZH# X^|{{^^t̕/r´!=x=q^ |= JFm&m]Ny&UcGOYc aFH3I`U0)QAaFpʠm}U6As˝2Cmyz#8 Mw 26AǨj#R 7<0"GSo[Ɗ_quzW ]r໷h -(k2pz[}EtKp-cnm@!Gڢ \N[;s*>Njm&R o9'Y.6vYˑ8hVw _+/RAOŎq V5L}'e2 |@Fp2JHN?뽊>A lS3ÎyytzDX9>L!,sS\XL%pslxa3d|c#uhT 5t 9a(.q aFM9AXM-\MJPhtdZ3 AT@ٌ i7˂" lĀ F%&fIT3Zjq9}vFJWOi|(304]C*:;vHm,~hk^. x'b{ˠx_q1;bl-bEPwri6T$:Ԫco}q :Oݚc(}fД,AFacY!+tR{:wE œ)UMO+L(/y`pflmL@*hHYopQ"{;#!3~7{ɵk`hG|(jݩeMt:BDzDs>S`# Hb6aP؄H0Mjq9S"P~Og6]ϗ=dCAK̂e$)jWأ-n(F:)mҀC LqN