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  l\l ] HyperCTL:threads=2elapsed=16.309cpu=29.384gc=1.772factor=1.807zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]w;:DƗe;pO[ux -f,y!I`5W'ܚ;-sbLq}hp5ǙoV)ګIҎЅ~0 Ks^>ā֥p&b@) tэTh\q׭>Uqw4Qpu?Ǹ(nǬ@W=2:M˹18Mߥo@6û97W`ßB4&,0~ph لam$' R86Tw V"w̙;µfY5"Jh9 ‚{`ܹ ? b3zg^Ŕ,32 Pnp)f^4('f_X<Ǝ^KT/=}pmd]3TyOW@!l2gYZ7zXZִF! ]ŗXiɟF@Am|{'h1DWP;"'*._Gx& wWq`Uƅ!{ᯏ0:DIpg#-DE/ #1 _FEP-Nuߑ(h2إVE<@z(gYZ7zXZִF! ^$]ŗXi%;C:ѱP3i-B̛?Ժm/'ÆqJ* S4ŧ⾝*ٷѭ1ϔTmo:6x$;rҫ/g|eAoۂRKc@[ӫߢSUCBt  JGù ";C3i~r|BK3L\_B'Uԉ % YabA,A*Ы`B+'y~/T&CB:s0hW3H @h >cB#ln>9-.uDAtٛ!S 4g:>eH~y敼SHK48| ]5L~%JT3]2e|QVjr H1AQaN^ $Ng vgc'bHWfeP'Rٿ葬qyq{蔿~:UL^D޾dw9a Y3${-~ma/v3Fd?8$F>i23uWGM5/<ae^O"TQ$!)_[3"\g@A»`Y"_L1jNT1<fDª3Ƹ|dt 6. $KPS۟T)H~1EGPBC֪u聉\[FC2aAĠ^;Rw*#}95IgO訥CDaSqby :*W{DeU&!ybO"p0~F$t_EPzڇ!=nNc vJN$~ݣ[hbNj:zZ&xԒ'XR/2ƶn 2b ny]isPWiƍ (s#%BQ*h꥞U-B3;,6^f9\3OցR|6 Q򮭄 =*V7KGf"yJOUsɂp_,b_Gt0UێUv+H _,/&'$ZQc޿Iz U-L'8J9C6a;IO=pUď7]/)x|,MIN#`7@ ,ݨ7.:Tj;vDa7.?WjN\^fҫ-4:v6h7i3D7p{޸!KMOCqSCi&=us}R`'7"- )O"ȍPlv*.j%+L[MRw4`,΃tbfS#,Pْ` E}gYZ5e92b5ada29aa454cf1f3dda1b530cfde3d0ab48a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c   HyperCTL