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 RR+ ,,4 ]/]HOLCF:threads=6elapsed=12.568cpu=39.328gc=2.396factor=3.137zXZִF!  ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>ViL s WKlg)nQrZuaXK ]eM މ^ ^ERc3JQD |NG X4ãQnm¿zyX} H ;,1_a" Qn9Q}q3`@4҈[ӪDÅa!ʶLC?hs &:q '!z]iG_Q.V,\ \0ާ.4fؒj(LοhUPr?a%8^TaV]A[|T^pD`6[/WQQ_<<\/,+uߢ#Te;ßr3W_)`]Wk9^FCR{/!Q[%A1p_ | 84{6T5oJTY|}ң%r*tWVo &1O%+OGt¬|[ʇw0rj^5>q]{QӇɇ9S2]౳߭8ߣMU9/"^z~oGWEB~N#ŀPn& Wt[1h"Oa*G jǯ+6+­C1u{!>G4v׉:i O Clܿ:gS^iݴ40) i+̟|3u4&di4u/3A@l:@"sgYZ7zXZִF! >]ŗXi%>1x(?8y|*Vj'7#+ԃ١3\F&Iu#$YDY}@)*bE'V .`i~i0""9?DU]Ddca2G-г˧(`Cdi2{B*&."$PI{$edu,P6[(ӗK%y_A",w!ڜ:g).P]_;B j.h[v 0lLZ.RQʵa(s$9 Oa @=|uDu=7@HYҲ:P 9ѼA\6@~g#j<'cCKk,P%רղ4k%0BSY0xzVXȉIoA{j DN)D_? /i!'/Q{6ֽ*w%V%/;1$E B.Ό ʖ$Y -|w&{'PW)̰I5PPk70u'"`{nU"P7WhqЈ({oTg+!>WK΁KVƥӆdY|䲴Nߕ\H>?z/J\+hrk~o|)bDUJA`lMr#͆X}H꽸RG3le ?OMcm#XSjl0qEko dʤfOx7gx5 RT|}*F@6'-aU$b,fD XY (~{Ԭ* l@xӯ kWb{Of!Tgsr'دJ.?b>.7y G\:as6!]  _~2@sgᶳ=IZVX8ɰsD0B8vπg-#