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
~
4 ]S
Codegen:threads=2elapsed=8.867cpu=17.420gc=1.004factor=1.967zXZ ִF ! ] ŗXf1- ` 7zu.el&Di'Y/χB#휗s!Gn{ 8nZn4zj>rdanv" NyȐb#LFqMF~Fk[
fpCo v7. +7TQɠ4nҟ,,ru
yݵf 5N*I6,Z4 Ҿ|. HIDEʜi9A}G1.#ZE \̘ n*TbfDٰ 4[nQetת uy l^rtwbkv R[l3fy
,3?VIF613kz <
]q}
t ĕm Ntg YZ7zXZ ִF ! C ] ŗXiɟ&,f sØ6X)w`Iy4(#Nnȗ#;|Fm 7 wvUz9}wr+u)/.]d 5'KMV'
@h5*}s洺8 åD g YZ7zXZ ִF ! */?] ŗXi%;@tasoM}ԩiF+އ}'0$G߀9M& arf,hNa(s^>`
.zJeaH}~nNvs?w:D1k.+Z~=
`m>E|c'ݴ?3j*ӏܴsXPqPC3U[GMP.[y>Z4:~'ws]y[^zGe ~3OdvǞ_hõj 9F;_ꮦe"Aóٜl
"N\7st:Ҥn%xmǠ ӚVQ߹uQ
ݻ:2V뵽1˹FFhs@:$Nvۺ7Ћ,1Y6,9IM; & .;` ٵ A:@ތAkNb!`cHfe\x'DLgm=|ةN^
AotB^qH vZ(JlQARKq4/hO)I6" ms C{Cl96_fezPAIbHN
@v]Wɷe;HF*+ ӛs& ^e` }b^E锉ӭߞ胥VY
9,H ;y sw T g+Bg YZ6efaca9c8940c1637120e3820a7f937e8dd2c05f98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
acd1b5a40151b067766d2c39214b0e7386d62cea
3a5b31425f701f5504a7fb903de744c116540f96
Codegen