SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 y 4$ OS Codegen:threads=2elapsed=7.567cpu=14.904gc=0.604factor=1.977zXZִF! ]ŗXf1-`7z8"5Ә-bF/>8gxN5y/)srE{ 6e"~ˆ+whU^Q q#.[ !5$ZDڋm $VGKCI&Wl ɺk]_s 8Ub@蔟5μpF"ypwD?c$iCn=.!0>5ĺE'Au"|(y9w{L-+Fl!&nmOL]/Rض޼.*FM/YԄ9S,3tsB)ܙkFDm+Xle'*RJΜ AmиP5p5boT֝Ɔ(+oȎwIY)9VOgpv#gJ l9CTSmOD0⮛z٥RH`?ϑXBFw U~bg&) N Ƚ\T%#_U.,(nE9-4QRVH *)O'ħ(X:mV   Codegen|lڨ)~1Tsz`CkM:{Z_zbWf)W|'}|`JďsJQyYhCRōk n=K.QjZeޤ*Ԗ}>^hG֖aZ =)D?g~YBNAE,t~8ά'5OR]h bHtɜ* *hf|dCEmKTeZgfSt?odQ:lSU4Ix:>A}HF*cAS ݉%/IU8 DKH)Ģ>JhBYRp)rEb4}