SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 LD ] IOA:threads=6elapsed=7.591cpu=32.988gc=1.396factor=4.357zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K lj g(^Ho\*)DS;;@ fxnæRX%cފBxdu*'k3an!6!rlSO ܎U>RC^@M 7#;rcw3s/ aẁq YKYO*jw;1?ʗnژ7jӴJdhtcPd_N,Jt'^6A)R\4LW"=Zs! )Cbָ )ϳӑ'"p췮j{^At}H˜a(1ur\ڹmLյY?'L$jup/pY1c\+-5ͺ(<$Ջn~e4} LU,ʿre2OwtBkL̥ۛ_B-+Hl;LNXסJϱgYZ7zXZִF! `|]ŗXiɟdN'LvH۹)s}%Mq\d3QQ<q"k t^X3#]#@ѐ:Z`whd֬ꍮ2v|)>: `iBT^EϿVx*g Pv;ʤ.$bVeH|<1'Ս.Oլ~@[Y-%H8Ym!G7(6N,UwD9iN}$%w@x<vWTun7z⍄TZAgj `.mve9%̗u YcN\£W} DWC*4Ucύ)4j_x."z gYZ7zXZִF! &]ŗXi%>l̖!_dE0hl=װO\hnĂ.8;. G2?4tۧ߾FJaG&T0+[@}B$ Vk}M]ŭ"l#rKz~!csA)t^,W U Y$N=@ '`',{˰~P0(mIh,*s6s2wF~e-25>bN?xnmP,ؑ',Y-;/Rw3W͸5v\rY)s*F]8*8uft}=،|>l/ZQtoUܻy ikwr6,iz&CL6Űu,[Hm -82-R;WrrYCHDܽhl M"rp)HQZwV"|/4~Į00A`mbpjZMߟJa u$2΍ ;yvS䴙*P)4s߳'􅊦;9t ἵE60~4_4y'M>y>ʴJP,:en/' bʥ &2<m8mpcditR 1BxQ3P 5f./[¯1Ǭʷγ!*>:J*>,-zń(!Sr4*Xpvmm#\N$S, ^| E:XRe%XBdZvL N&FRYbNj88``&d2j!u]*KH+s(}U5Y]®hb<%lN s]=.ϘH̍99#-=T:.d 04ÿv_kΤpn$,ZXsMgYZ0949e0a5dff5fd1a8d1791f362d2101500c5c3f68cd2a2b0485da6972fef25fa342b036cdb7debc8 3de0747a3e437ae3effbdb060d8e4514f50343a5 b08f36ba52797f25ed5382eeb9e679e2915b7261  IOA