SQLite format 3 @ .; B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ~ ~ t\ ]/]Nominal2:threads=4elapsed=22.938cpu=87.280gc=4.2727zXZ ִF ! Q] ŗXiɟH)0%o
HfW!z#`o$N@#]^Ytb?ХszP|)(x+=@Q_ l7L/<12S?H?(D]_^>̖ˮckFAug@f#^Yb9",&hڴD
@qx~GID1T5e:)M ͊ز;>Ihj奏9;(mY4H`?rWAc9u{{D\pɯg2l#,r{N>r@WGXRk,q%o|wك
(G҈i jsXQBpgjUpWJ@,߽{Ì1P*⸰1(au+bI~2.pB'g!!=s|)!Ct'WrEu˝Sqmk̦MnlP,TUY :6ƾXݩ1i4Zt'x|5 7EOjOJрjȕ}w>xPe(rYHi0UR)i7`+dy=0^u QSA9[ϑ%KN7cP3E2*?ą
N C3WHR,"ԷqIF%0yj `0&0Whp1N?8TBtٜm|BLZЎ`^1={'X]8K*R4 z^Cph+B"bSx"@[|#TkXDDf{Abbʹzj*8?
s-f{2+Ax.NI_`BWhﺊ^fDCaZ1Im_&/Xm3TH{*M;~=HSv6yI&>Q_-ex$#`N/`$rJpM70Ǿ*TVH8SBamV$B'Zr?_v2ܹ jc*i =Vo+nu߹/@ORm Z Ar֒zOWYT
7ǼBE*]sF6&}
]ʲiuLo{Z
߷1e*iW]+U5/) bۼ@./:{APmX&$Dx).2`Pl\2nf.=` af#^62-Z?FXSqpp̀
Nominal2
o˚ap2ڢ.~\︩lYo5RX>ʲ
Q닐EY\wJA8ӈ34I1XHiV Tj-W8RHY|F͡ O,
ʖDŽQ
K3}.<Ʀ֘);JȰ7h8pVƓmn_5I&r1gQY74>2]\U=8 kC'&V
DQ(Kq|c\~/$3U#~Zoe3~j)-u[ۭr/