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 ::C' \D ] HOL-Cardinals:threads=6elapsed=7.389cpu=40.820gc=1.720factor=5.527zXZִF! ?]ŗXf1-q恈<-¡$johkX2I)']8PI{z9HlH}D-l'_P։YmBw%%Rj+9I}J{c$byXʼn1Xز, FUV #F2 ҀOA{ 8 )"JHVX R>g&&ϲW'VH(*HR=&M"pXyMZJsa@+k_f’טش{ ϐnÈ p1XXgCo[ZMAM7eB2%p͚'1Ou!cF}2a`s68dOJKPg8U*Sn=_ ʃ͛7ra,(Ge}o!KIa$$z+%KA:H0QۮpQpiк'5/h/ǝB+Ds?Q^oј嬴I@O^yIFk/PqQyi66y}&<'gYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 z ġ{c~:d27J>KQ!;Tewރ䦶$ܹd6::*EUʑ?{Nnwk)xiI]JC^JYP/` ,rrU&AW͖fM<:Eu-^EPWzg| 0H!Y&aD C<)oyi" Bk,&03FFc@i;LZV6yX-^.Sd30s:ݱncA0kg|';ղ~FNN`R#IHIaՓ*dZhgߎ>]A}rfe9f({9DJxwr3 H5Hk/kY|eNV&K\S1#xlm0Qh ب.IvhB4l =_޵z&nc,G|$Q6 KNjQ!AR{Ѧ:X_Hv{m dqݭ~#]wb[ j >oק1m졡@ zR⥄J) 2$S_8rfEbg!(cv o|Z~EY8 xU@@aX=1‹a᫿d3]/)Ss]+%/f4[J*3tu1 7Z. b