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 xx# D< ]/ CISC-Kernel:threads=4elapsed=13.762cpu=46.188gc=1.832factor=3.367zXZִF! !]ŗXf[&}rsSb7h3C^Y;i45j9 ML?}!zB;*bWM=2ĒVd1&b夥 Wf[UJϖ2&<5YW=<5ҌEȾMr|b2uM F:G-}R ۛ!{CSi?JjVOKlR1tI#8]'Vl^:F702 enA#7yo% Z.HU*)| uSjp.Ԃܻb_eh"F`By5&u2$t/14~iOd_w=L}2ԯ~rOsYR@;3 x+M͉]y} ۯ{uY,yngU'=HmYaUJ`t)t$h&^ )Eb.we!왺̭O֯AYjS3?粨T(Q7veŤɌ:oq\ 9us='/ bI>9Di˶AFrA4/JG xƌō3b :߼CPzaT>M!f#Pbg͵"LrMБK*ęst~5b_gYZ7zXZִF! j']ŗXi%H7ѪmA28Qz":Z\9sv3k[kqNƖAwJëIG:N"^fÏWljAТjt&JN޵! 5Ra츋 N؋ѥ&U`k4wXPQt''d*Ǣa 샅/i͙Ɣ.BcHWll-賵rwyhˡHFлV +iiBдt ͏]6X2*[0!ۭӊw) "(HW2㣜t`$&Y}{K藝*GS$j?D+ U!(L: Ңw{=+r0ݫ6 sWSY$Sp2 o#d>dwlGdES2/}ϏQ0ڔ  M4 N p^C9DWW]g[$G9K.Z cf`q"zXboe'9c ӚԠr㉀ucҌ/gَ+KA٭Bpq x`?H 3B%;;Z] >zQy,kXڕ~$㻒r HQv*@arʶ۶}l*5- I={L";P&MaI'Hd~A>Q~ֵ%yV32kx-MȝcɜcnӘցp,LP):׺^*`kT&G<SGbtʎu5f$Me}^ ܺI񣏸ą̃^]h5[,^&*Q ,$˰Cl921IT@@ֺhD12[aC]gDq|w7oYhP!uy]} gV[ԾE|Jxa9f!^V2h !9!r_>xn MnH~·xFIh R'R/jUܴ,^^ƽPUN+'$AgٯPsli^Κ ),AN$XdalxQ Dǩg(:w.׼-+=m|Z2,dLS ŕu>)2mk6# h3w=?;H2S|^SM.mҠEprٜGdHR vxyZK$`~Tb!qTk_TmcgYZ9cd4f4dab0912b912487edde65159488db836234a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e # CISC-Kernel