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 ? D d ]/]HOLCF:threads=2elapsed=17.031cpu=33.644gc=2.448factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JzJ:6,zh5).;̀kc*aN}4g;˸-jP ^Ijq E8†RX ShD^ ,44}1ۀr9k}<-GόCft]ө&VЁ P88i%j0RD!uemv;=apayT]IB8-xMwRY:Y6niH!,k;j Mu[hroE$jxvK]S;RoDʱ'o2/8+J/!|Щ'rC&kcԡ*l=IjFB|<و2F 0Iԫ?|Xjɭ9VY]Qfm m8`:ynkTUq:Ҡ6MM@ƷyoxMmzBPIJrFTGMߢ,XJec-#-L]D3[)QfW^VQ;ˣ `ہ3K H6,BUya 9Smb%;5)<+7d!gYZ7zXZִF! @]ŗXiɟ1˦r~KunύNN{_2Ϡ(igϾ[X=HC-kM0ձW7m``fwPSXP`XOPXԑj9K?~oka1: =~X7J1<>F8wuvV=/iJ(Ln˛4Z S<^ 94`g Vcf;~m[6g G}nB~&Nۭ^#_Yg9&=h'Aī9WxNEu&\y֛]OU5fH-m}"OIRyale-ɻvkt%R%IOEH(횸gD`Ñz6;3n{f˒ă=<|i%>zg}+e;!tI[GV~㸋 Exш`nv!b93u#T< _>."2g&33w v"J~Z3Xov^"=}h7ıs0"{cɕ Ě.0Gɷf a-^5PG<2o{٦$pQ!I8Wy`ٞᠭҩl-Lxn?6S.1{7k#6B͡\;ʞԇv*NEY 2^.ej 8_p G{\D|.ߍVgSS.UBN5UҊԮx&PJA'_H~r6Ùr`uBfMDoDH%q+qL}˔ex6Z;2W]J@|.NK&;yk[,AU]NK Gi㹄RJMEscU e"Uj0/>  *C3^짊zֿ+e3fqWB|B\dp'TTRQcuIY 7|;C!9Pb|NM3$LL =^Q Ɨ!7*ߡ;4Q{jg[7X qK'H0֟|ܱmd .i艳gDI]{f%#+ˇI$^p[_BvE̹gw~pfrTagZq