SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 v7 < ]/ Abstract-Hoare-Logics:threads=4elapsed=6.684cpu=24.140gc=1.272factor=3.617zXZִF! ]ŗXf[&*%5_]d r{ SV}Lj9V&}'Gi.t?#wj jgڎĖɱ=}np[IgaAwmgV +]W6+{ա>MWÑҎ:'F8DBA 27#>Ǚh}榞{wUW欂)hH,!CQb4U*f7Gl6F9 <4>cTUUmЯ` ,FS$Ǡ*L,j_PZOC>TE͇gjƠsΥ`wT w%sb%򢏲 pQ^6{I‚,L s +ԙ>8vfeȘy!r%W^wb䊻=z۵G&[wkL"?[lPJC}1ȵ^4@^j meW !)lgYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hd p،-&Jy?Mo^f)%Q= һ HJ[,1+2m D\G5N2VoqoGU0>\'\nނ@)w*LJh@-Z,^0\ddoeV/ aYB!)gYZ7zXZִF! :]ŗXi%GV 5T[<0b6*3@>ҚL [9P G~pUcѴm~h_Q)j/ގ~|*IP`L­cqWmGBcϽ_8'ż_w YRc-,G&?5#mQjTwd*o4lM`|nC[3 phLq~ ~ 9 ~G3RL5A t⿦ՀX~ݔkheJ{"гnXDF - 7cZ:\$|F k%̄z m' %0o*C 3ZQERXb : ='`;Z|m(z΢ٽ4]+255q0WXgReqfE!zD63(`I-iaǻ֎dJa'y• HplIoс5X7<[a&;p-]"bXvrFYt\Q n}H Mi͘-}m՚/:5e;]JױTgkO#v ЩH knMD‚dmƥp]2mpvHw=_&+7ܟ8+?T5do\$v붋ئN fGD M9+sGZ8XΎ!o_4/}qŐ6#- nŽpy07}jZXzaM~Ad1V;<"D}S-m0sЗ sFk[Ђ>qHJ%5T'ԉ᧋bxPčRwYK:Bpvhjlv{Y7GT\ LjˏQϢKw EKò^JnSqK/WY̪G!)0W5ׅ.ZY<~"0.sEVX嵨L* j