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 ~~1 L ]% Stream_Fusion_Code:threads=4elapsed=12.969cpu=36.576gc=1.120factor=2.827zXZִF! &d]ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZbv)` ncRg׷W{q)dմ)U' =_6QJS絣7E1a'PTk\1.lLŹ#OGZw3D=1MhzqX(-᠓H#~x}!.tźwRҬ"jnxesϷ@**ӼBKbȦFs(&/~ 5BĻ2_<5vt+uB8g=lƶÃ(E Ac)D# k>FRjzx |X!CHFA0 :oI6H QfklN"WQbvTw>uÏ  *M[sUz %p%,Q֬׽s5aubS'ܹ8CuvN\R]Тg|اu{뽲p_jsaN ($yifC'[o Xn@DLP8αgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+!:9җJG.wWsvgMI-S{j0X@ (:ApWaK$_6OgYZ7zXZִF! aT^]ŗXi%ES3:H&$5X^JtҢCNL*ADzBˮxL9?j) ј%ex|HڳmA`bc%ΩPutL/VLŔ@݃XeU]%4['fۛ!0_[GR8`0&` 8BB} /p߹0Sv0,e#[RĐѰQ֜u6A@O)3D Z]E`k|.۟2C< ;G.+QL7AJnA_ C' p+5i@i7 E9SV|Q/pHXAbi-\7%{ߓfϴFhV&L"W$k?DiRy" *") O6,Yv3֘ײ<}kM (ՉI4Rh#cZ:SJuI9/(N#+N.Gv#2:+N['饶~7SoɚtCmAUp3.Q?Faga^Gъp.&T>{U#`!GUx'Ч= aOi) M 0) v{:0pF9J|*N9#DPl*SP=!6-UT6ST^L8Iɟ,7ٟi6 ^©V3OdlA lց I(l/'vPkBly-f7%wyq>ZoI2M !{..jѳh f`YuSK ZzK[5_{ O1`Sw@>DAiYI~b[ {1LϪ6LBӼ醀V{xh{Sz]ݥ5Yd@. yZl/\/VۮVoXT'2Mp tX'vyK>/цj g9(gYZ58bfe8798f2d91e6cc98131fa01e24f68fe2d03576b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac 484a007f44d8696fb569ae627b552787c35fd6d0 1 Stream_Fusion_Code