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 DD9+ ,tD ]/ GraphMarkingIBP:threads=2elapsed=20.970cpu=37.548gc=0.816factor=1.797zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2XW76T>.fd5A9( ]L5?رoW)p_!AG&f *ޝ1C,m59%g{홯>mB{}ᦞWK4 4X!kM^Acg>e0@πkhRU+1a qB*yAu*OlYճdЀOw @ס]@D\+5moL .Egr9C1. kegu bWg5$#鎛J aQ54 mkݎ _V,ucgO6W{qQA(|} eb6ߨ 1%BJ/.t\$?rr= =OR\!,x8$v sI' hNU?QO&"G7 ;L p1B ^MzTx.+V|KԦ7mdiHFڊZRMf{.Hsy{W|Cž\٨oHn2vl01(Gap,ͼ@t{0eR" io8Km9Qm C'/BđgYZ7zXZִF! 3]ŗXiɟoptB"5`'''?D:JX6v*eG# ߈&!# V>5dO,J#$Bt֨5`ס4^k[s/Fr4*rX/+Q ͳX|2aS+zK-.iKnрDbVXћi%줳 [s8#%}%t fFau,A- L$ 4ţIPb$fZ@VrT}CJpgYZ7zXZִF! s]ŗXi%>g)|ԍ=(Pv=I@ӥ hN:$;@'R‡!ŽajsxrWF^s\L7,Qwt327KZ)mUV既i"J ģhցZ_YGj~#bzNTagQcٴcip_ʴ_$$+,Cf Nf2Ҍc\Z TzHCK7K,*auqs3 9|{t [e$n'ZWTÑ y<4sc-M9Wv9/'}(,J%@<\x(E ٟ7`'Ũ<İl9 8PǷ&0jK飢I09>v @:![l'fYe'AʾP( S]:V9]M7؝QO/&ߤS>h &6~o3 )wWp8o;cB gf'eW _W [ HgӐxm/PK!۪I/-t/"ٮg_ZLϣ@ߍ4s?|Zs0)#y服Fr>AV)>Bj]V,$Z5EP$kвvڑ>ܱk>[O`QCLhSГ$IO )qZC.xGQ}TrmkWlEPme38 A]&_YQ]Xztk,sp!Cu$팗L?|RY޿M }V= c/5nM7J0ճ'q#slr4DŽ X}yGf-+SىWG:՗2P$ |t4?&! Tz2)e&*k1T}&c<|8+{㝂tգ'9N-ZIk,Sz1'c&`6Ȕa?1}%:qD'&Glޒ+ bwzYacBk(봨K ?20%$ǖ@(#+r!l~Q;"=Um'!=ot6 7K [:*I-!qya۹<2*VD>^Ntjmשhqoܔr 4>A\L@F3"1xe0ݻ Gb)?CTTK`']H