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 ^7 ,d ]/ Weight_Balanced_Trees:threads=8elapsed=9.190cpu=37.755gc=1.785factor=4.117zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxKp/81bRjOӴ$5Y ŗp#sTcC,'-+@cϵ۠.cky4[P`wͿD1*I}|qTO˲b=l9v}1o^=3 7 GQ O7G̣-uf.6cK޲]&eӻa'8!9X AV4^aP7{gBz!WV{:z%6 tf3϶L}UFh>Fd,9! Q4k::U=XŻb `oi5`$04XɃdL`8K7W;Av0빨Ѡ9 .HC9woѦѾ пXv ϑWIbCڮ 2Ӿj͐qeQxDrƺn -@Yb ~Jj]5^Sa2AC/j'Ǚb0e6,&aZB'7Ԁ  D Y4k +s6w[XWD-Ȳi!57gYZ7zXZִF! @]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻'THt@FRa rtHju2H]LQOT`{ۉ"N6 wd&Q" vGBs ک4n*Z FjY\KB5<ɅCc!=eo첏Opc7gYZ7zXZִF! ?]ŗXi%>t}XXEXM91.Uzᎋ&\S{"j7D9׈r|jaӃL\ ZF$SQVg^HuB}!V( [j:ai^yt2"ܦlSԧ`Dc؃$hB;o23~g@MbZ\8߀fyRÿ~`/xqded3g撣^=H%hi?sSVAttfN?g;,T_=ϬVOȵ 2Ú"]G^NOV)I^muZ9oD1'`{ޫjaFLU %m@3Ż_/4K|yyv)8[Z"x}DMY s x!Õ^-ÜA9bLWIKS]߮]S>#0NLB {:0 ymޛQpvbgFaOpllKe\yx qYcO!+u+R/yf 3 T &1d4ۈ5 BO~o)L-_ך: ʋ;i(iq-45w(bLHEtD 0#DGbծ_;̆*/4ml 8K5{'NWxk[V[hJ_C"じ02)# #n^ɈKT^A՚&b|1N}v+>l̵\' |^6cUkBooҰ3r P#g.&PF5K3apI{PL$ ni>Y;zU"jEF{ଳԚř9ՠ#oMcf .xzmLDW g9Voki>Pכֿ-.л