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 k' ,L ] Stream-Fusion:threads=4elapsed=8.654cpu=11.740gc=0.284factor=1.367zXZִF! i]ŗXf[&R g/ S!SQFQ&1{ySW7x|:~rZ,4ԧ]>ZID٪ it#M)_Is>Rvï(5BW~ܽ U\X\sn(H/SyĭÁ6j%;1Sb4@4.wJsPIL_y 鬁ט_<)bS+aKMjVzJ)| *r±gYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v8 S7ZhC1 UڪЅ؆Oh KOɅR OVl5YJld,FEVttXr 2x,4? k;@4MgYZ7zXZִF! A]ŗXi%GM@(ހ3SSuz,]Ɍ_!}xG%MiI|f`?n!=Y(/mVu4`VI=sHn"Xᄝ2|8LnOK)0V+:rqR<QQA !v/$]-M2=dqUmF/v; sn 8eAaP$ǽ$]tx gmHZx|ڃr]`5D F^ ~}ieOJ`L| e^.rK5)kiҐ*UkZ^ ^[Zv$ttPDt4KʊZtu>fkENs.:7o/֛Q eZ"Q-{г3r`m?vg..;,ԋmR0)$e{CϘ\yjXgUn~WAϏe9 XW9Ѩ5PsYǸͤ8\9٧m|%}/6}LB`c֔5C&/Xp(n~ĒxO4h,ĵZzoQߓ0*1"3z0zsaiyPg? פs'Z6Xv6y9iXӌBeo[ڹ U*v9+(؄@ʷpf@.rƒɍ<L&ߴ &g2Z{3a7jb": SqGqEͤ14UG0?ҹQTc̑DЅ,CJk1P"!!m@p:-pb:$GJ9 I Ou=;TAf[-FѨ.R@);RLZ7ͫ), |OV_L  տH+w !}V[O7핆&d%P,qCCk&Q8*no MBu4^ Ԟ<^![[wUQKROµ(Y k}T͉i^v3z@`r>C&h\р>4 PSU  Q W|cN7XydeaYM^["d" у~ڱgYZb83bcb54175139954043fe2aaa9345db5a978fdc4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 4bd6aedc7d04acbfa28755f154cbdc648e812c5e ' Stream-Fusion