SQLite format 3@ .  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 t? tl ] Program-Conflict-Analysis:threads=4elapsed=17.692cpu=64.900gc=2.428factor=3.677zXZִF! ']ŗXf[&Yi]}fK'=r;rIF[=ÂK\gX4KaZ 0/# {3h#<57'ÁEL- `}CJ~oީis{̀vL;HŚf&Z=?&21pu;]Bu ,br*grN;&X[w%_i症4w=3~`xoБ=y*4aY mo9W9ܹ\[_3ks!\GL?E?&ܭGo5|Vuj4edكj7GOևkaKjy!IAEL﫢ƀ'AEJWv ѲFuv9Vk:u`oQPL>MqX b5p?c..D=nqBɤݳ_e7]L] [M9WK e 'b 1Bk,F>igXj{caȭWPI}Gͷ7e6K}sa;[l+[ >_FZ O9#6Y K5<*?PQo|(zʗ3B>Y|obgEܯ6]W?;ov1=P SV6܈d$6?uYbڂ2N%*nFrNŧqINwc6x nl.d6$h`N/m \9>7cv -ć/%]_nW fG|RM%-/l>bvkw|xA|(3odzw>gYZ7zXZִF! ]ŗXi%B4V1f6ΑV+GQ3X $v64| MM'[BO4# ݴ8vaqfB{wk *}WKD>ś47qG빔D_ &/Jp,JiPYWd}tV l6G&9U]IEP"oqj5[fWut) |(0ԉS&<3tg13/eHx!:g"#Y p^T&sQj҂(K.J 7Qbю!ΦmUGDK{(c и2BE 'iՒ=lUֻLLCi1+PA8)pHKgz9,r9֡0Cqp`Q>5Ds8++~uM[周ɱ1~F8vI:GP@3X8dlI.lgy+=-1Q_:rb8! >-|T+@W+] 09˶7*6 4> lHRFh@l*k/iYgj1bث^1 q04HNXc]1a`hgVD ;NO,|'b R,V /@\<#C_~B'Ћ:˰S+1ʤ쬩'!-::j)ILb#SeN_xԱMke<5Yߡ DlO0"ǟ9MXggOl,^ssC(.v hA‚HZ+G",t\IX.ژd4/BLO|Z 08<ڔx2 2Y>UY%{"G 0Ic}4^_u YUP"_W X/ڒﺌʜE\}Gv,g̓5WT8'N Cï/+nTao=Q'F>,8בhؿl9FЃv5}7!=7R"ʻ+o20uB{3ZxLG;Hj/y' !EBټ*'-íVTp0@@@E'vD.DzMu7 kezb#A1oHQ^(nE+ c@sb9KbZ2[ xY5/׋iR6\pɋB[DfKؚUwrzz3DܢgxDspCsCȅ86o n'jQ󺝫7x*la{HmEG/M,jzLc+MۋΒ]P5LFHH)h,gĊGڷH"J=:aW9V֣k t ?mK>٧tO٠u|5I, 3m5#ݤt按FQW ғ/=db~5-{ y}̫T`θג{G֙p9*DpHrNW#"klVd|FEdFxߠ+Tۭ)P\CֈCԮ,&:ptϚB} AC\7H~v&U{3`qoI+=aujDHXǍ7V!n?SiB#5O ( ;$ݰY]^;S;ݰo|Lu܎ /P!afA #> ~lt*W`K=n_F߾ܫd;0ЇG0ZE1 yAF ȼ>3қ.s9 r}-x[,Y-չNޖe9x y+V'ՐoЮ v(4CJd~iEґU]V3`fb_%a|_6r~f/y_s 5 h Ɲ\rD0{OFG7nywv€w}Ml'h桤rbL{:F}jF9e%gYZ9593e27cd6b9e58dc3dffb9894104bf8e17f95fe3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f ? Program-Conflict-Analysis