SQLite format 3 @ .
B B h77otableisabelle_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
D ]/]HOLCF:threads=6elapsed=12.753cpu=36.056gc=1.984factor=2.837zXZ ִF ! O] ŗXf1- q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}kQ&aYQm`
M$JJ(N| Wv ?@o{r
VǓVd7^a8E763Kc25:zquObmSw|Ia 0j>KDfu\듪"|#nTݐם7$3! @XP _ &HL?G5q] ќBUL7ɄJ+xv5KsOn%A |*L6L
0-^LH$@Ѩ&8 'z.nr$aGő V& |Tnc9tBLn9WJfxhI;1c;HfpB4 L'l.E&*v'mtCEs ˗Ͷؚvb*R:dn.%k^*w[VcchӇɇ9S2]mǦioOM?\ާn[(LQd @7E&U
9M-ʟV DT^ EE4
?OY
}\88C@zWZE2| 0 ERWf\İ@5m&I>pu=sAǫ3{D6_1X/%^^&RW0C,8.eO.+ r>9OˣLqH5 ɯە[Kwh/mykВ!gtͤ |Dm9ZEC &| {sYG
,;UHB*qT[o>jڬŧɉ{zjUɤ紊܉y4ڴCåPtu'L\[R `o]X-,66rug-n~ak0v!
*lOy݄ sakßBZSkƉ` ;Wd ;g YZ7zXZ ִF ! =lD] ŗXi%;Wk?XE/зsYh JI(kR+ ˙KsE m@N/ya} )! yְ,=+|9
;D`Wr *t )2 QAT _ׁ ?
S"Mdex6
f}d6 a>^6e/uWVـo/3KL{$RyMaŰsav.u=!kMUizq0?P6 2μ9")Trw]= Sd {>ߞ[`֮5{:peLc>9bnl7Z*Mqge 8|RIT4wa9Z\c
ַM!ZqoB+e ; VB3hwՋkK0z 2FJ/[[GfL (,S) 6JcHҨ7.2W)cH G+zvconI m^KKL#IU\]j?j1 0D-MnjcaA$YIvz˴Imt[euFg # v!@2maE
]Ҕ4&.(n%ؤ?qGe#m7~ixoSpdDҳiKĝGw Ȫh (00KP~W knԜ>=f.$&ܖ]}6ʹSIn?o 2,P0eҗ+FH|r^K= x
9&~7~דy8R\XPSĚQBbvx2:y>CpQ XFrej ļ2 Rew#V-3rI_wJ*)fJW3к
O=ʪdSE̝jzq + W)-3d澨ྫྷ )
=o j
I5k ,q{ 8|C}e3 -2;J'֣4jms@mY2ͺ c8 z g YZ6441fbc2bf0bccf9b2c988695ee21a38875d8853393fae3774b4e564b1026bf200bc8a56a06c6d90
57047d6b403ca17ea2fbe0bcecbdfd87177ba07d91939563708d48764f37fdfdff7e18d7a817a917
HOLCF