SQLite format 3@ . YYQ77Atableisabelle_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, "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 D? T  Program-Conflict-Analysis:threads=2elapsed=45.792cpu=88.144gc=2.708factor=1.927zXZִF! Y@]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUy演)UYƫO6liE%ɞcvIǑ'|3(grSYڥa?#0']}B>r$]][.RH & G1-VNW&aWvCc!ա!WON3 /P6pi@<@L' #,&bJ¯.4 ?|*\#&x agy ? Program-Conflict-AnalysisH4^жDVLEi "nHw"u8e{'D7r֪5LaB 0+*^I7PKj7 }|; ?7t hWCKҮ3Ɍ#Cr؞j NHΉy@r^@ʀT$'[ZH!B? .8%x,!^,4ٰ؝)! DžW9I?akr37ZiLK/`ACd4y2);J7~ߕBl0[rq^JVaJrʄ2xVR8,@k;KrQٰsuK,>hM>}0M}A<85U,N<4:Y^Tez/x>f2',Υ\ylpWMEg[6cQ?IbЌ j>NlNgYZ7zXZִF!  d]ŗXi%6+ej.߸氊@3?jA*yٻ$Ô5:/3F#90Cd]1$ 󑍶֣`oPƋآVFt1}8[޶ބ2zj= \Q+G|m7i_&_&.aO@cᇬWb"^6@Yg1s"vɿo|̢- 8) -3uqie0 %PވUOs݀T+gsOXŧ:vq̊U0 ߅LP1/iuYx)Uj 7*{? :qZi&- aV?wnL"N:%2 'H >vJݾF!4JxۘzY$6{)NZCߗuwUژgXo${aVo9@ە؅zLQMAK@eH܂9Q@[.US7]&?ǧJ9ER= `#od*hvWY`+q-lO?t1yh_׍=\Ǝ@:-S,̹7 +tޥ2"$YS۱}[ha"@K|OPl0{3uc1qݲ}J!{*nwǥ ~1儍 -$b ҲPO~.=y7+|/b 1aD6CvR_<%^jC0rG™?. s;D2d:+nc Qr_ _uIddbZ*S~U] UuPlL9WEz> K}zdzJɜLAˬ %h{.I@8g<M&Uir#ۭ(a!3f) {/P aT8e›DWJ P4@.PhHu. gyt>+5bZH)0jKn@ ϐv^RJL Wk39/i}Va:Õ綁8eHTVB朠ҹs PpKsZ H@JkL/ƢЊc+}] EW|N-(R  :@o(H^d`xIZ _-6DBjsE>G ݪ^40u qXI&;0 }bWUDz\{5֘4YW!{1Ke;nX+pbVY|!+隡jlNdak"{3N g3,o Zp)Mims:)]͛iikլܜc {`\ ת%YCꢤxedC]w=hc*wx o4 2ξ#FDPz.(;j!!& 7B'DرpŮG>^gYs$O4_uxhq5V3R4 G ĮVRo`p}m;]cGSMDz620)Y pdVڏuec ?@r- py"[=@!ƳAш)%9KïEjv!P*(QsFrWI,Fr X@ihYu"aʃ(Jlk?VHR&i޽bŌJ7s+!w1xb/1<§gYZ33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 427b119d7af62fc815da086434a4cd8c8aa32b2d 4daf0bd4692bb5817d7a2391e9d252fd173637f9 5d2bb6a2f29daa6872b3b84f19fc56e8c52bdf43 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 82c9c11b09b1d4d209fb6338ad78cecd662e78dc 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b b8b2144fdaf92601ee1a8822dd4ab807cf024a47 c3c4ece7675d8c208e751ca95be74f3a4d1e400f d3fdfea6e6af8236274127ca9aea3b49f828163e f5b05c2b5794f19f3a3020efdf8a0de4bff3e60e238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef