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 F' TdL ]/ Case_Labeling:threads=2elapsed=5.454cpu=10.600gc=0.396factor=1.947zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I3>z^ ga ZLp_4ctN&Tlk]ftgsm?uen{ibjlXV`iIbPWǙgvbR/HAZ;c> sͺ곃2RP+[e5wD_z)ٚY"ރQcf*Qr.T~a+/C)]ƌGs'BW0Xg9rDx=Mj:P7Yh.wjF̱gYZ7zXZִF! ]ŗXiɟy=58L¢Z_ʵڂzyC6^Ĥ?Q6[$^jð @6h%VT1ZY^mch0p|` 8 SιN{q%m%6!RN|bHm(wŹAϨ;)Ef"܇%_坲f5"+`K8jX[C!vU8-Bg;e:oPgYZ7zXZִF! +4 ]ŗXi%;C1ƖtIj|0 u gr"iL) G#@כ`+$1V2s>ͦHE@z,NہSjuZD:ko.{ɋz|Q ]`+l~DNIcmŜ+` ;(h ӢчBނsV-A{ˆM";opn#ݵX I۪ Nv -AZu<JQK7S#4eVȟXƩR5p$&%fmI14{hᖭ+^-$yu4TVul=wa@8rBmEŕ,ol.zqv18*lJSVH fKlp9,D׋)ò'6ҫupEQ@GOqK[O%3g|bƃZ%&ܐp)Sj-u'F,8|";=zNoi_NEWz$0kr/QUEzcF~|?t92bq?3RyAXlHl=y1,<ú}Ꙭv@ծaiK(nxבYXO"FhoRVcgYZdb311a74eb9e47ee02764bf95df0ee46433daab3a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 ' Case_Labeling