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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
#L ]/
LocalLexing:threads=2elapsed=89.995cpu=146.644gc=5.844factor=1.637zXZ ִF ! F5] ŗXf1-/6vRZBfߟj2𣌑' *6 8E(a)l8^ W*XЊ0R*%![ees>iL-\~Y~h[f;E>&֡ڲ;c.AePB- JALeRJn`Z{#;eP{0*8挭IFqx`7XSɅ@Ӆg5m%7ev `܋1I( !4MN^?= nwRL
F_}A5ݧp_cIMrmpR0JAl'M%H<@LzH&gEYR6Ic,:3̀F$]4,{T
0
NZG!?8t%n@>aI0~kvcm?OdlsΜ
{{b`-RM~)<5FlLs853?u gBd#Hrݱ.Ffe&3oS۵K^/"ZVEMiٳ01[U 387.tTj3RxƴU =5"ɕk>ۍmXL1o5{C+:Ke@hٿHtɷhMZ3Q}°gAZlCIV|noFSڔ!df?>ZR&ur洪/\u{8~9x$%䪌Wf>O.ڋ9@4#y$xՃƎbU/B%h7mD*E>(R3tzk,qد9NW8 BVuı]a%QKb6n/tV7Ij .d\-~cK!@»dAz