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$d ] Tycon:threads=2elapsed=10.238cpu=18.844gc=0.828factor=1.847zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`EZc8>Q c(^wEeRtx̙X>.0#Z.6V-ܶ#[z θw 8w&nR4e/w%2;PQ1G]v3>KJeA3^mi+ЃV:םe4TW 4 2g U*[ί%7Ԅmc½tX֛M%r1y-(Yz_Ev~]ϟA28Cp  l\( Z'tq V^ Z_:-I'NhºK[;9+k7QZ Gd/#ʨƕRPctP%v>v`U} }^W@X˚fis;Iȣ0g҄dglGgYZ7zXZִF! I]ŗXiɟyڳεĬYpa`6[&k' 95ܭF' +tC~rj'{=oBS~-:D& 33f1Mød3h:/Y#o+-z.¹uC{Hf%M"cDbc5Cwav 5ٻ-oxS':*XFfU˧tU'%^BK? r^a73JXJezq-w1ZZG vUգH[tt Qܬ޿ *7 ֠?NK ET!]\ҟ-yLʥk~!룍YauHpB*$󷇔1FcI gțlzTa57u?9^(͑rJcv+ pݟ#3&U2_/Kp?y ,`~~2E:@6?l94=Ϲv8J:\v2αgYZ575cf4c7d4ef55d5daffb448bd056fbbb3781542a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 512cd03ac7bf341bdb34573bf9c7a4895277fd3a  Tycon