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 AA<5 D|\ ]%]DynamicArchitectures:threads=4elapsed=9.978cpu=35.528gc=0.736factor=3.567zXZִF! ]ŗXf[&L #.3!R&m'\2\kntJ;Ī op5^MPI(4{Ϋ} :83qv *I"vuj {3A"-uV [.mV 5,']H#7Lyw@2'= S)Yruʆn&OsnJTۗsYl8N '--?ݬN$?\9 to2\o1mқgYZ7zXZִF! x]ŗXiɟ:340Ψ_իX+jެDu?.jT yG\u^`W@#(jv[EB:qI}2gud5-wc1 Lsrh0;ݓ8gYZ7zXZִF! Y/]ŗXi%GV --}tQqWq]mxϦcx4HGA\)4$LV0 2¼hfTک/*uZp%Os64\w K I1?"~tǑ_ŸX*iΘX@H)_oZkLNDy6$oA'Eá"r/~ A[֝Mn0o:!}FqBfnj伜r8+Z^W{o#7u(pVՑhr~.np1daVFP&c9- _C)(.$to]?fC9*D@v&K ݙbLʿ0#@BMX G?W^B5yRe];zj|;dmH;|<61a#աkJ)C0M Ȼ%ZjaTAI}2?n\YxApL&ÇP1H טgx\.Ute3_w8*U[Sͱbk@71 Y{IQփ9Hil '3x9Lh( ,RB&#|qώ(k`o؅Է;k=[D'7&HGFڱE#hJէ4/LF363?R|+?BU7b ݊)0x{ x˼w6%lTHe ٨( O 3Zv.qrx2nһB޵[tX/\m<[3^,67=Y/Eli}hԵ Ai(u7BD*WC jFR_TaTCaAX~Ԭ >tUB[kی>ͦ6YGvD, 27P~Zۄ: zfT;1?tWo7pgBEf\ N,w( R,3$[f)H~eNk͵knB)gL-9ސ@ОAC!$wXٰHX/rRF G]ke،p𷇼/;m-MB3뷐,ۓ-eA:i}.$FcU4T 0=p1X$Q3SQ:LqO}Z}ّ#5u ͥlC#wdXUg˒߱y0?}C ]/d1 Jl1JY6 yLvrVrM W ӄȬ28/?u4+W4'ۚ`@gIZ.3c:h o| +B|u gYZ39bf641347f0da2c03fe8f565733740b6c771eff4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 307c3e48b41d32d3a1a36b9c4d32d64c1ad79212 883ef28fd9c4d64131b81a3d5bd667f94775485e3f848c6ed7465afa862d0afe3f2985accb78eba9 5 DynamicArchitectures