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  $ $Q+  ]/ Decl_Sem_Fun_PL:threads=2elapsed=41.411cpu=79.492gc=7.732factor=1.927zXZִF! $}]ŗXf1-/6vRZLҨ2y1;B=Cr؆G4B c_]>FLa$ԦF!5eu>cWwSG4c(Ǝ୾c'GT\ҞWxq} x)43U W '!Ko΋CE+!۰îb5Q\ >8:EEkx[ + Decl_Sem_Fun_PL  JPS[so4w\_q*ȵliqhAsZӧx]{٤e;^4ѝ_m!ph)TЁEؚ2mZVj4M26ѓ0驭q*|T06m??޳hUjLLm3nwSlj.d)-Ly7z0)5oc"IC)+ l3LQ:B4]ŶݑshXI^R=_&ߎg5"u7H~ IV(z =^ IڌgYZ7zXZִF! ;]ŗXiɟ1˦r~KunύNN{gg^"3yI `c 7Ԕ j(S _-<07QG-H"M$ԃ ;e3Bfk24KIDll+,Ŧfį5O:K`(YGϾVJ@Ř֨#pY6ȝgYZ7zXZִF! χ y]ŗXi%;34+; o5DM~EOTN@>ho"qJgӇisQ\{ʻ 4ޣ M\g[n{[`׉]KṼo:Rr SԆBnȁ+M:q@`@oU YF^ ~Hk \L=ŝ>kXh z$I}W^Vhv'rgXoh݋TzJγwnK첖DUn P31/!C;dZ !쳞vǡ5|efJM[ٺƉ+ <'xuiNQ_cYoZs<-ZQgd瞌,ʞYk= OΩ k S!Ιxu# *Tu'fH^v/$mNq +Ի HDMƏOҊ:0 g!2ru_sL0uZ;5 69qGVh&/bs;vG]>n-6xS 2eqOs1iџo-BCȪz&xjDanp[.b D.Ԯrڥ܈uJS?(Z!@RvCn`_;Z/IG껵dk4p3eD9y*{H66No!='4.LJH;cJ{`"N`="%ztڝB̊\6+9hru7:?‚D$GűE$@ ץQyϝLƓ)w[d#W46p&hoLiu ,MA @WdO,|# gkEYg0t[*,{N>,Zږg丮 "*^]/8zF g䱫L/}]so\q9)"MTx^)N #)q3-mR/UL#' Lϋs{f1@T މQsjkc3?IX;Jn'$YI,-4 3i|ʀ ΢`=,pw|Vǣ4%Oȵk>C!LU{H]gOLM;|.}1[朝/o F%=/:I6blt-JlR~əٵ錔G7w4AL)}% VɭSn#0]ԝG1Na{SȀPZI9ү2գb8M_I_fq<}PivDυ&J1[ԕ+SB}J! 7/=/lҤVLHcޓT\7탠 ԛX׫($c?M N8+*+mLCm y!m3~SV$߆=d'B*,Fi1媙kbN ޛ ~0I*2 $ܐfWTk<v . lPs,L3#T #pU^Bnzpk4gcia D-]Ųb+4BKqAh~L5xMKv"8`rfܸ?՝CGX' fkLiv־+Qv"XɁ ; / g,BLe!Eal^%8&<8ez ck̍cq\wK5AaxD(|e٦