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 CC: 4t ]/]CRDT:threads=2elapsed=23.261cpu=43.500gc=2.508factor=1.877zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&U{?q~ԷUf9&c~;WO%i8 ;7_ PEcRDE $?!}8~o똡/:(9*;O 7Ā>~glyʠ҈64ctjx~:Na7ȸف",`C'"`T[%(Aqw9q s`<])5tHw^Uφ f &G󽕲ReN^D1t:&S&K_)Y%DuϨFm!k@YV6rQd1m@ʬVy[8ށ#_2[5B aB*)SlŶfMTw+Rvyh|^-HU)Lfxɺy`/`:9eSx@ڌy7#,ѣmR[ Zv@regG?u'ķUut⨭~{Ʈ4;0,kI5T(wkx10³NBU\YDt/窱.ٱt7BQ'PgYZ7zXZִF! }]ŗXi%;qL^K[ԕϐ uSu0mls̭KBP/'ty^O)K~%UDgp^Hpx\t7 y"74\6صV`–{gފk3f}CM*)E/?\b/t.pTవ[e WV5j祉re]bbXǤՐ@ YK=;ϿoŅ"ƞ4e(?Mo0phvd &ى9PmñU'_a&ǵ^TҒإ Ǧm=jVӤtQCd$+p4"F[I2 ®*a<'et .]l0rT (Fg x])=Y氕SWntV(w, ZIJ8;^3$~ҏYCj<<PraJhyk[8ʻ,y$ 6P 3!{ۑ* Oߒ)EDHXjYTyG'/-H\sҨ ʴtK[Rs|ŝDOgVZW1vD5b_Ei<61_aAܿ3 鬶AP> M!CrK'zP@/<{q]UO&*y=&{ӬɱhۿI̎Z#(ǀ(9n UhE0pO # ~ $]>d8SCw҇m(?dzۉu!N6IvZt@Uq}/SF=#Tj(ߍDN8]qܰ՛6 |EzM"st`Al |IY*ZTAvab+p8eby">Ȩϓ<!mT`-G-jZcζ#=a[K=8?" U q#M_&|2b"u_<{9&ڢ_G7yn&5Η\P9#?Za/U33EM$@O]~׸cG2Z03E&$D lLTM-|#QG#E%sT9ԪA b))zJ*6&oْ;f7q"bk"_`/1+p1EP(ެQE2i/ʿgYZ45a8ab82a09934e0655c910e3a609fe75f6db9cd9667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65ccb40a62482825736ef209e50ad01913a5ddb8b88  CRDT