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 _? d4  Program-Conflict-Analysis:threads=2elapsed=45.770cpu=87.364gc=2.832factor=1.91 ? Program-Conflict-Analysis7zXZִF! ]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CU_jPXo_o cZuoˁW6nCZIET$s0z 7zeƒh_lw7.wBh.RA9Gzi=~[kcb߈qgI񍅥 j~Z{t^Qxb5/p胁6,`Z3ӘK k~`7t7Md Rڙ|X C3iYv])EQn\x-CiL>S0+ Pˇ*1b` %],ɲ]::ȌTWbOa2nje.RO\ΜM([3VL/L$cit*3tMSxf%W@u4.ͫ W5}.WMi>F˚4dPP1q/oTvy@4I5F.ɥafV0VЭ*GJ-?f/QB7Jq7뒨>փU8VPmB.aig!E ]dWbv3Qlq[gӱo՗U [&#"Yh Wa|4 ZTLs"׏<;]7C6bޗ4nvD|"8O%_uЍvZWM lJ 4X$֟gηaN^.OGK=?{.\D"49m#cŌcKVb 8-H~)lUfhcpUiƵ[2x(OBFxVx}+<3Cܬ^>?*;ݕUVTYvqE[9o=%u8>y/ 8{++ZP9 3+P%-hAdD>EBeyvD U=~ ^QB쨣rP'Rh`\"Udr gļGŻJr M۰a4pvY^T5TTco 3gsZ`?șQꄼQSK ق9y) ю4~C' =1x? 8jaG~3E7כag A,L"|ysH])AnQUuּq.(&{Z[o X?OZ?uЃgۜ o!rbd.DJ=qWL k`jˮLL0L uXٙݭvlⰫAF*yti FW u#]]}qH/Cq؉]vQaiIW!D!G`wnY[),G،v&wlu$WT==٭,77+~ꦱ<`,cvZ]9U"8اfbWrGdMg=MDPI"ꡭO}4,CxUHMJUK77,`uiaXS؈1H%%Dp2L]U]v-PSjQM(nìN7{AL4gKܩX)BQu=@>߅0'Ȝч={ nʉ"P=j4koI1?e&*@0x¥[hW R0y%dɆl푤fݘuAwžn4Di=ˊzA w'BFpWʊ9LKS4WXkdJ9XZeߗUC.)tmo ZQz(@ EJ>h/8r7{QJDw̏HBڪzZF :=`9M i)(O'>(zB Oɩ|w>ڝ;e_[2 5"S })8"M /4ZHx ۵e]ؠUΒUi[bﳀgu& MjD ‡;WG\*y"۫urOWe`??lS-$Jw\)U(7A*/d$ S%{.3IQ仆0-BL=VI_~MnTܼZe NpPa>r|Hoe1z1"Qv3wh Ⱥ 9$ջN +Wy=gH  }m,.OU /N:}z%\l5K"ٯyKadG 5i@z?0\!DB Eٗnft9Some!;>x/yU{1 |M vܫқJ;r:ƃ- MƦ|sU{o ! k_4vGx'p Ey\[poP>^#Vj,jRw5Xuw1栜f as#tZ=6vpb|KX0hDB!~χ9FjV}XXv#:Q gYZ7zXZִF! ]ŗXi%Q|pt绗_Q8~bayɅdg=_h4D7Լ2Sn'sW㉩2FX*RsM+ˇ\Ifp32oAɣk!jNepu1_(%ʞ L85~yP70M0kCw>~|~KXChn YZyڄm.)8NM"&Yf ϐgY 㛭YMm>& t>tsѓjDTr薱aezh0>Ds)x|('٘{)9XߕSHvI^Idk/je%W|@C ]zh^<O a6N9[ƅ@q0pG&*,M#8?8hBκ,f &t|M2UsRGKi8?55W22AeK7 :''Sݎi[wr%\CԋB0E;:Nh?^HՔ^C~1?dmz`܅cQͅ8;Mo#L).{z:"J[[j}uP<*]_=nwDF„$R=:Al G:ю3lIA~9q-NI?Cp;YMjKpں.H_'01s[n+ -?~|E]-ƈf#hδNm5CΧ'?mOi'r-#hꑲյ+1W nf!؈ ))lJ=EԺ8:8YOܗb2eF֛$KW55j;Uq~`'Dѝi<&UC4C*~vQ$Rڷ D _cLxJXݏ8]Ij[]! yEX;B2ffat8WU= @-pT v J6(6SB}'YaJqC{%c&'\Juk;yj_LtAg߸'J%g s}U ] Zn>-:eyh~0ء@ƎDR\% \qh[8v4#Gݺ-7wѥ oJd-7b;7%('.1}3\Rv^po@ m7(gYZ020bef6fdc9d9841987773162281fa8858e75716 31e4563de4b192be88e0135105e1bfcde94ef5e1 33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 4daf0bd4692bb5817d7a2391e9d252fd173637f9 56228ccf170545e05b7684ece956ccc14be5d4a3 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b b8b2144fdaf92601ee1a8822dd4ab807cf024a47 c3c4ece7675d8c208e751ca95be74f3a4d1e400f cf21bcca54322e516d177f2248f9d2cb6afa14ca d3fdfea6e6af8236274127ca9aea3b49f828163e80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c