SQLite format 3@ .0:  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  v vt D ]/]Ordinal:threads=4elapsed=3.632cpu=7.016gc=0.388factor=1.937zXZִF! s]ŗXf[&}^mBσyJV?icai A9Un?Is#*:OctNjgjHxV7RT9S/WblpgYZ7zXZִF! ]ŗXiɟFHuߑY퉗BX'qfm}I?(. C\ 6[퍌DOLK|!.!]]kIwm#ڀn?'wx3Ph`ͧzj~ Tc̪Qr+l*e%+9w#@D~B_gYZ7zXZִF! .]ŗXi%B9)|Dvm D@꬝E*)`:M@q͒TzEbEJH]kTw[fxEScخ{fD5#P+=EԒ&Mo,R8$'fJ*ŝ!SMz(=3veE#Ua7eӿQ*4XJOR"\YB4[{gT5С,lҖi- 7~?G$81,ODLKHf%!(5R(%-q}- t&xUG@>bT6Tq,H o4!,(PyFH%5s&#pgy(ֳvfyHt쪊ٕ;̶Ay_zϗ1ɪX|ư)pT'enqJh6$mɣ0c6`rZ=mH:ֽ\Z dHQt x\uԺփlVB]gYZaef3387f20b221ab81524b5a286b91029e0ebb3dddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe2d3e2dd38800d2ba0dd0d3e2065accf5142866a7   Ordinal