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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info A A <-DLd ]S]Relation_Algebra:threads=2elapsed=27.068cpu=52.120gc=2.700factor=1.937zXZ ִF ! U] ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci +b.ֵMqѷWU0 Aeїk1H?NjuVQfJr&z=j|Nb1>)&WvI1'XQ``wdzX]9ΞT:7ğ$5˭ IO\nw[`jKgg+,&]u }#?czDQω 8m IQsfCIkv)p(@ʼnCDU^L! =z:hm> kjQx~tԋ/+[k;U|Kr@~b>P6KI~C G!+~8$/?Ͻ}.i6rTfiΊNcۏDe-_F/=?݅!%aERAR(B )F#:`vӨ'ӭXih_;XQ ݾ=D]lH+Xft'MU<nȰA^#ܫPcYSzPq*gp7t;jʩ @}N䧚ɠ@$̝vDwup'NA¤wikKO<8` /,`7Y .JtH |WAYEigD \)Y:K4E&@qf@`#i٦{Ͳ"3 >=G%yu$at >w/F > o,fg YZ7zXZ ִF ! ] ŗXiɟi-!%h/8mce{L%yn&eز])oѵ'3ݔRC1E{?] ˋDj:afwНؐy K 1ٌmI=iv&9_344;e1x<_musE{cBp0?;쏶gOQ ZoW V1g YZ7zXZ ִF ! c] ŗXi%;<6J( a};BRDžh$.ItnryPC;Zo̿pfT gק/;H%F @xoTQ=uVKn֙!?f(RWGꙭNonɅd̴8R3 1W[ӡ0^M+qM` |{Ązv2::bؑNJň%%]6͡^Sb}.# ]$mOjPZ$1Ap\o-Oe%Wxv$Ps>$p'oۅ+rF Bfj ?u6ͺIgo-8yaĒYf|^5iEŕ|l×01hH/`0>Br]3=?"Qym{$^\ORXVoWMOچ|tp{?pŭ=~ N>>s,韚经do9(x\6qMER`m7Z?eh)JY23g&ѧ>n'Joa|#!i:QL6 &7.s{Cҿ~V&)uu4`}לWoiVsqD'Z!U"-9A\k樕!*m;mdtuPFƅ/ؖ0\Ԥ/М:4f >cvX:gK=qW 2)29IOưV9ZRp9TL}h럽)?ɠ^KLMFs@NsוLy֑b USp3ܯ,\y?a^j^ dOi[ Vv+/'?e*AX@uG7t}i'$^p4:V$7tt{3*m1Ż.?"r1]md,$/_4(@'2/FIKku֊^pmHB ߴ?|>|+VI.#5E}ϑdEyІ:Lh%l`HMb˗2؞ Ǣ2cYߍ=.!^({h8eH9J;7Y|?96}4Gr rjY$@'@Ӂ0@$^(EI6z&̚ZӚA(jԂfUc9 moЗ4ҌK[Q\| p(Hp±@F£ PUxjrs#QVY(??4a#H-9:m눲W)R8!1=qTtczw:+a1Kr 0qTǿǺe:Lg,(qͫYaZĄ##3-0ys\EJh!xM^tJ|tqh0@_/:+>8 */l6kҭVnni^4o~9مߕ3\5"g0 ۔KOV-:xuG "#l͡ª7orb2NXSXܖ?˶n#22 Cn4-`0t&@2ִ'z2#"Pe&m[;WM .J(YQq=