SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 y/ |Lt ]S Monomorphic_Monad:threads=2elapsed=31.432cpu=49.128gc=2.684factor=1.567zXZִF! 6]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*ozk= ΖNQ<]'dRZ!˴&ή$c"ڶI_4_=s}Q մK*5%k?ij IP@qO7J#ohQt,֫hfJbn< P)潞c/sH@%ŕ7h "oSPHxs_kE5-}56h ݦ+z-Ҥ&&cʮD= tb꿃r7)Eb/7j4bO@UO !:}AxgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~l nUɼf96b\b|Uto]y?~o& dcPǣ1cۛpO F͒TYYe]K a 5K?Qv=ڂ@7/IB0|KҐ =I o;WgYZ7zXZִF! ]ŗXi%>g9芳}@e/ f*"ۡv\z7wZKBf_ؔf<1u5eU̱Y#[NU)O倕pZ]P[6OW> 烷NHB/?M;L2y,W$٢PZiEoD[JHuiEF=}A`Wwi瘰aP %w258mEz}/:ۧxzu7Rex{GUv٬GˇݔL.ZIQxLh{{ +ra `'i Dҷf 21mQ:^Pg4܏JFG7KSʬA^lyc j_}!ϒOC~9'!Fe&@zQ`1?4SO+7`X EfǢ:83&xmw8t/&Qf +^q8"w Z4BUHѾQL<Y]֒/kKi͓˅-$\Uy;x(mKI0/Z};Ny'K:\|qA|NjP+ѭku$PbqL% hFpw2ωNAwݿ%+vUǹA3PwPtÑVsJYEIt) M8MD}/-#kr0bTx VG l7Piaル]_U 2 `)e{k s˥){__/ V D.f G"Vu?"PNlbvQsDBcYoOޙQ<AWp𑀎'#oE@Bf'S+ tAIB֭339 -?=Y e|([q&n5ܓgzvc!UnHy`\ J|+ "{#mtvUQ()Ly# V2}x_Cx , ϮO9B<&5:ο K+| KV" {uO KEK̀2BFōe@~+|h gKgYZ336be2d67bdcbb3da470b18e8dd4bc5e8fbc1339a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91 aba040c2dd075a0c1ac15715de3f13f1fc99c141 / Monomorphic_Monad