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   v|t, ] Skew_Heap:threads=4elapsed=1.170cpu=1.756gc=0.000factor=1.507zXZִF! Tx]ŗXf[&RYCZ%!DIjuMq>i?s.ZEZwdlժs V"##"$U&r܂myXG$z LUE4jgYZ7zXZִF! r]ŗXiɟ1]" M${np^PTܶemDb!مBqş97L"(a*D SzĘc#~ gYZ7zXZִF! /O]ŗXi%EbbB+]2@ykfQ0Dх9=>u,5C.}A֐:uL !F^]K="OZȖ|‹c9닋e'EE@7C WʜEX^4Nmk}UI9ẑ̸F!A6:!m7U8"3~d>2<0Tt[+u& ߫ٱec3Oe7ߙ WDWoix' zT,CNľ['d~, K;: e2s<ީěO1@t4MMpo,#?g$Z6ˠPF'g?G M 0ƕο$fg⬂L͏q ݚL"j*]N; k?QR*_@=>ߘo)8S˹0;` Kp?!` $)8#5iF^,Q88 UUdb@6iw.rn CUm][{36)1 i,,EfE] YnLZ0V2OsgYZ04cb864093b9fe389ba1f899701819cf34e8f8a4eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12   Skew_Heap