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 \' l4< ] HOL-Cardinals:threads=2elapsed=21.638cpu=40.384gc=1.768factor=1.877zXZִF! +m]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")HhGWVIcΖU tZabZ- c'}a} _^.L#o/^싨#I5Ez;qfЁFxbf^(*1U._?%qE%hF9IU؟DaRbA;m㖓D_7OL!0c1G^_%vFQt2)y^g`B}l{E}ĉx/C@s_,ㅟj]j/ ˋ7R.潺V߽HbTj}("c::W$z Aӱ MKN֯HH" 2Cgk28qa[w4(]bD?v5*VWY\QBP)pgN( AҟL +ﺥcMAlSX6$# \xı=y[Vx 8sK4@ċ47tլno0`. nI&j?Cn\ @#m1,gYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zw9k  Ò4YgEYaeIȼ,ׂw ;_j{ѽKz![-3`$δcU%r{ւNPN-xr#SBggQpЬ+UB):ueVn[?0^1%%]v<OyVy2߉YxQ@{+[ ֏Y`KwεHC7WI>\P+6LOc@#!lO8sH L^ h풻'wӯ9}dM? wBh6-N܈$ fb@~a Ʃ*sTÏ&}PX xwC4tΪi9۸50i1TL C y4\7~H vU2Np6]UZFH}@'`It25%Â%6ǻͭr!2|D'+8L|H[FR'޵r1AvSF$/_^YX}7bqLldA<,-@-z~ 5Mú(r!SiB7o{t@[tdC^N%\jMIPaC902Ra (iQLq)G6tqKB90]! A&Ȭtrp&*+0pvHo{E H2GlY\y6 R5^؀u)*t7V  V?.Vkx^e ԉ{0l@p&b*e2=5( CG2h-q -ɰ\fG¹Ζ9@Y%no NȵHL%&qPLµ't[`gHH216zMR7:Rn 3 B=uQX@~LC7,&0_ذ,0VMRJ735':7* v}$KpZ1}VCkFS.iTSҲO\Wd(b5Ě70p(r Ph^X-u(LN6 B-o^:r8ԢĖBǻQ  +7T#AnڥFB(-(c R^';5}̸Qzxtẑ=(%rY|nA.Oa8]]Ȣܹ#=w/ 0nEs插c0jXTjFgt4<#Qt `+=kL,