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
1d, ]
HOL-Corec_Examples:threads=6elapsed=159.063cpu=474.116gc=60.864factor=2.987zXZ ִF ! i] ŗXf1-q恈aΕB\qS_
%caGtd_ r{ˌCfI0Ub=zQAZMI2䘳d[xìDUImT@%(ЉO*Q30=jR/rK'|d`LM -Ao)GcKR#m<'z3]匟zSV-1aEN()0Z$V>֘,*P~C'ރ}*6=^xe.kL$P"2:#OWZ_0.?`դb /&(Y{U Z:Ǎ;DmGg[vC.j+ľ^ zOEP*x}v+ojzi\ΠYW><@ J/RLWeB'mtAp`V4*~OS{\20Tr̵s6DjA4'wjeK^zRGQa i|q ȉ
8!6 3`>rUX8Uʹ@U+%cg"B2ctRۛ ^US
s;շPCKC
%Prĵ|h:[zuS%(a+dGT-^Iy!;G8
OaIOGW?PJt&=\zeyNP`]N@.Lkhdd^FƟ7+EQ.~h j\*iŠKqf`_]
+HSsdz8Hsuk$>%@1^5zjZs;}Bzejm(Fu:s7HP-(K\ȭiC
c-r~inQŞnG0tVK5_7|&=8tD?Z]A[-aAįxJӳAW]'Ό C'ѻlsX*'uYhQ8 %PpGQ(
H`f'33VC(ef"R|crW/e~)jKJj<<}%sD鋣J4Ȯ(C-]0|cn-);Pwm >vd} MH>^
I&]dî0ߒI AH"S̩G*[{)p^jfAZsGs8Z^O)itvl[,\%