SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ffs? 4  Program-Conflict-Analysis:threads=2elapsed=50.921cpu=99.904gc=3.564factor=1.967zXZִF! D]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUvJ8^SM NƑb 58q bYOC\42 "x9`BY.S}[!_Jf+U`] [#Q9b5B5MvK:t@+s\ьU'}s(ROS tFn 0NW,lp[qЈ2 B*:QWk 0,Åu+Dd uj{^ d rNΆu] w ~ըπIjECHiȹgFjpA?RڀܶlMxn^HyWA%a }7=a&]#H<fDa+>rD?іˊ^y/|1y7t .V2)'DvNY۾\v4RОu05>X vspZ5vFE5b=XISU v EZrd|tA@z^%>؞L< ? Program-Conflict-Analysis{-UІ_ 6Kc}VtwL"F.x(M+#⫣yzc~h=6  "/{8j1=ZyVP HvlővTۖK%B[$;[mEip]|`u",ȟ<9uވ-GFЄjAW %q~k>swչ']83O 3g GhNҹ9ZqI,n(LaRSKB so^ Oگ&mGə&!>q.~F5Ғ^tp$@2,Y= )\ڇbW,~s pg|2 2|X)QP.lm1 }?Uwj=Yk&RB؄<Ĝ#&`J"Sv_ޒy6?sh2J% t0#OoR(wW\˕9O?0K+5h]"aUJ>vds9[Woy*FF=>&V XV[]M; -!_߽ۓED*.ӓ"AR6&[4 *oi/{ڀiǡu*  ;~gICXai b55Ӷ#*- XmMf>e V3a3Q49tŧOo|}4YWbq7UɯQ= #n(a}.͔DR(V&˦wNt|ԙul{^'rUt6^PޜbPUktcd(]wh :eyru&n$woo39lυ!P 1ϻՉ*/O jZm>$lU*yJmrߢ+|oCꬑ+ɍˏ}El4z&_(?f #ǒq%p(:Z PIvp-fxS=qA^*( VNX6u^t`Zj؟\?+KĤW;.ufv)n(ܢ3@W#DtA}bO [GD$h$˖1:ye_ DW6Z8ZIcf8' )M "_Cr4M W*vq3&Mڵ2V bq}c/O@I0ؚsRz 'CNɃ^E/ar[E4W׶)m#GimN6]yP{N-(hN=*jyO_&iDa&'z`o(TK-V@` vBGZg8r? PX 984R}SPy;P Ѻ|OL0:Z:Q/=gx\_i] lD HЦdjYYO-c7ւ\^JxeְC6t ˦?x.HZqN̈aD:0iWuF&/x3m`}ߪn.-ypvtm_ćG'EwN?ߕsx!x=nJX'gdr|XLm7HOmH??2\-D[鴟ӊ磑bO'lf1>2'WF EW.?h.@M9]( k|!iŗcXK ƨ`3cؑ^).NÿS,//7 e~VC0h?`Va]rIKN[yT>s"kQHӁp0I*{EH@-S[ؚeA}Ѫۗ,$E{\.I,VȔcjgD$iqIe9w] I9}!U>_ZN+ɿSf]>οьE w< ]zeB,~;AR`0|{n :t*%zes"@Fe|l[ ;64bE4sj4t %AFSXFm O5+',V8CMA"f^RʭUwrh3(z+R,Ex1K 4jk+K >$c^4hWe>>PVŎh(MsD֚x'xo:tkXQk /l w9FiWJSm]wG!,>k\e.wQ@O# NdUȂm!&oUD3I'u?a.Ro.+9 ]ks8dvuM-yYy/L$]Gu4!vĊ.39\ 4֧:wOZ[ƪ%:oXzn]TGvU:.El%7ŷ{%ϥf:H i%O ФS4a\! ,EI1&HM孙³-dfu/]ׯ,Xz"" Ew!I8ޖ2V#Gĩ~cSyb8C[)XswK|-'Ɣg٦'IFʜJOY"5Hs:Ѝ/T} ش4Q<<6b'$]OgOz`2qMb,8ymKAIEś8[6?\{Eh+Y2pzՙ#!;d\xb)7V׉>@ @NPm/8p5= ^]Yp٠ RãlLD /V{gH0A0cvi~#O|c㋅ͣ+A74gtXD:l>/M\5sR}ZI.;xL>`uMj8gb3O7+"j5¾tt`lo=xN0I:UVF>v< cgYZ020bef6fdc9d9841987773162281fa8858e75716 31e4563de4b192be88e0135105e1bfcde94ef5e1 33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 4daf0bd4692bb5817d7a2391e9d252fd173637f9 56228ccf170545e05b7684ece956ccc14be5d4a3 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 a3402bae413b65861b3714a31255809bb05e0985 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b c3c4ece7675d8c208e751ca95be74f3a4d1e400f cf21bcca54322e516d177f2248f9d2cb6afa14ca d3fdfea6e6af8236274127ca9aea3b49f828163e878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 61801de5e43545180136440fc3774bb7d9933b29