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< ] ZF-UNITY:threads=2elapsed=18.986cpu=33.540gc=1.304factor=1.777zXZִF! H]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,'Q(̇~p7-P &>ʲq83PEQ^)QCv[2{ YhdQBWMb9ψ?j%b Lv3^"J- V]Yh`K]$u诀) 䒥 lJb`nHJ&C[ ›~U;^/A_.6bWĴWM mZ=}F?4ZjQwʇ_ ֆV )J;`Cd}Mw@JӮ,KI=K -a!ſǤ}G4{u KvVg(}@? qK/`1G dvO_* ɿ='|d/!Afsܚ,! C|%zc*/.{[o7Og.\IΣk[wcm D3]L2'qP%C>Ŏ%ދ'K>%q9h5$iC[ڽ%"/|dLXC@Bv\p3_KTj:G1ס!o8/hU%m؈X*W][;RD-eQGJw& D|P|QOx5LJ4&dž#GS(%sL%yX i(ṯgYZ7zXZִF! hY]ŗXiɟ9 i:4'9Zfw4 _.9b$G;bTu{F>b^r!CZG^UO ;HP$j}16N>?~μ[n|:i%_n2{yG=;f`Uw% z0-hR]ⰘM-5iy2)Bh>: iEഽ+x'&x+ A(K|Fd= 9uAx-*xR)܀=^˧׈EpWi#,G2t&$ VD5\J-8r:0t#i]S s*ZgYZ7zXZִF! []ŗXi%;H'9;.P.e;d =!/` di`~vT0UtI@9提w8FM<TB䯻$qXTJ'O-%h5uŴ:Lu!d_V*fb[b憖Mz;R݇xN-Ί]qlQ1 ZIү5>D{Y޿=ҔL9ʬl_9"0RP+L'8AEa~p]jkim$Qdad$.%#K'}om1-DI; J.p3AG_gz[t%u4#guriҍ@v.ic~Ig-G3H߆b؆sn Cia5?՝.df.-%TzۖȔD֔vɧ=A:iharXn-?{~"#FU ʏmpÚWb`SpR:K`єt*jj$/Vt:­]{BwV.2t.xpM6kP1X<<,Ge+?G_ Αdi՛#Jfd62}\u($*swnݚfobvo`AFɲ:V`gwI|Z_fNp78Z&RMqT5x [3/u4qV^{TꏹwhE$i;W fMr3c~ǐFW`FWjtm"up*ͩQ;d5qhb!K9X s.eoPgi]m^ZHRy f9_":=3Z|>abot={>n[EǚXR;DrseY4-CHc˸mͧtuVfcJx4xfsyoc: