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  e e+  ]/ Binomial-Queues:threads=2elapsed=6.769cpu=11.424gc=0.572factor=1.697zXZִF! K]ŗXf1-/6vRZkc- R0vPP OA50is|bagQ9;H$ts7kV;qSwPW.7N`;5kBf8T7) J`Ҍ iNiq"rCb\٢p:MK'5d"/s>lIf5vA;W?3K5Ljb[n sBȜ] >hiP^r؏伫h=tQ =gYZ7zXZִF! |]ŗXiɟ:Jc6Gx&?==Q7#NMS#,vB'b_LU1M LJW?F7"[e)-pr>]!l=$T>d x:tx~,l%YgYZ7zXZִF! 2P]ŗXi%;wtw&槪 &HBۿ9~'%KTy36Cgl+h{?ROP" RVpuJ2p@ktT mEm`1ο9q} T풌7 !矘W޳VGaԒ3gc[ S> o)"abemzjjUT!z0q|/!6"Q4yS_%J TB =f{zlJ\P^MofrZ}>}kE*Ksl@JuvO"ϡ̔θދ .1q(G mZ&ӯ5yXq* 7Z*I9gF#z!(91=>q~vTKÅzu8"9ZepvIAnd_l좜եhى\@F;IwnFGuPi%nnCw7xSbJv+!yJe-zr2ZutA˨˨ÒV785s hVބeDGBLcbhV {--!SGjk94r9$ȈXE*INdfzaD\zzSj^" >qyvѱl \]^@6.Ja_x?IDkehfa%um