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  yt\ ]] CCL:threads=4elapsed=5.762cpu=8.292gc=0.276factor=1.447zXZִF! ]ŗXf1-) enȈA XR„3&mpyK8]gdnW7?*' }ښcΏ,yqYI; ϔe }rDWXDdyEiY3 G ~*"N]%d{_ʼnP$lI-T&Oh1,.ttlǮk>EHkQO/gYZ7zXZִF! !g]ŗXi%G̉IyWt *=XESv"/v% #u*$ͻ5 D)p#=rH NQY&ܔƵgɁF]ʁbSI3F/R[XadT"1YzFZhѯضt N.GJ6oh| I~T6r ߇^rf9;(&OB"4NH+8[Qf %&>[,[OK҉hK[iΗ Ь,J60CrЀz80hryȹ;}!}kbTKӯ~:;kJ jmKAEBtǖ.ʤ |/+;o3mxiwY#TDZ,6诵nf''տ®y ٤qT6#ۂP85JyV%B!.L\tw?U9xaGP؞\)se[^#g|XE=T.%ۨ_[lnnQxpuӶe ѝ} ;e.A1Px'Wԣ$tfs`,•Y?~!DBJnLB6HgYZfe9b3da9947df56e59f1a618d3e6a269bab582f478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920  CCL