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 ? $D  Program-Conflict-Analysis:threads=2elapsed=46.468cpu=89.376gc=2.892factor=1.92 ? Program-Conflict-Analysis7zXZִF! Q]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUӾ% el?+}0 -g"~z?M#* i170fvEP mwut;+A0;窵r{QpL8Y잛=V& *o:椌;xF! FJ̨В]V3IL¾/.G`EIx^&p(D7W/ ;{:7rcHlu6_6% q/q0L&@g-+%;ΕZl@5?,c=U*1@InIPb* гl Z,O)0Jd],$n 33^ wz5%]\.L|et0;\=Ksit|'JU5{7~1je6 Cz)ͷ4+,d@&ÕrԀP}AtLj>c֨q6)3Q )mh)GV\ѳcSɩ 4X_JQN~Ԛ*B6<'7U,t Iyy}vLxe0UC0!"H+ȴP6Gz4A]{)w]jt` yWT hM 2X +f&|Gem]+Z|4;Luf'}wlHqMn0ϳ*ƭ~pR7iS-2m7[jBQi@bFly6;:%y!e-f)e:iWya@C>]J:$s&Z(b'JfcH yq3f4Q,P5IgXT.&m:մ 8` b(wvĦ% b x\..qiK'Й"=[]E$zERaEdz~`ټ3Dl,@-b؊kMh'U75W ^~kau{L ڦ-ODNImr5cLըIRq3]I{mS,:dн Yq.AGASZjH[0$(Ӑa-=SWla3O+N\ʄgxZzK Ǿ`{pDr-(upu%{_43殕B7_8F ruO)8.]Q$+tw~”Vsk)0eWO ΰFdvEб_XH;lZc#m [ԥ6&4~b .M$IQ#@:8.BW©ĉ~! &IgN4֑V@3d$EnA<0+4=ۼ&O_v#K5q$I+ğK.Xx€ xxze'n2| Q>{SxF%ޞ̘b Q׉f7\[ڛ^(j@\il~VJ&6D Oe"9M@|@)h:!+A-z퍁maTssqmHA TA&J]E\}PP'C/-IAB  ))'@wLgʇwOvIeV~XX^ ) " O>C:Qm]daSgC`.@?NpVeOv\7XuL ŒձjIev?BwzGYwe Ģ4{RG)*auXeH"'>, ʥ[ij R7`axZTvjoR$^U\ `:+K0\|vqN!h葎CG%b+'7?%{cͣ#6ÖbyKUYXS?Dz! C HW`d۲X^t}ROVÏ.:"1--BuK} )=z2h q>JtrdgPGJ@4nyM:[lt5N2)gizZcEcQj/AS=n%ގA'͑Ŏqb<Ҥs79ZpB"3 {M"jkOvXSKxّZ6ӭcy!kpTA s-2~ylW)Հ]IKᑗql4V JaO Zs:?#Az5O7Ҟ31'>ֹ@) 0̼*OA _Q<JMp!݀B]%k*]ޒF~ t=>Jú&,i?L/0犘3&E>Wx]qJLh9|6"-!)5gbj#N:Jku> ~Kdk{ IYiE*x;UWӯ='cPY W*d 7&i{Qw9Yov${$c=Zsu;f,zc ̸BO?8}B,V$$HS0[TG;a7 oco0a8s%>X_ņ\?:䬵 z6(] n`5 O![!dL-u548x`w8[3@IRx!v]qLi}ڎ[IlbDD ,$Z10d:lp"/4є3,ר}@90{۷˄JY>[ L>p*D!WH^~>7b3CjdxA!GyМ[(7z` ]wR7$[Y  MYܟ'lF -IMy ʚ)b4ʋ7\9s+LTwYJ bxEO%_ e{nǗ5tNN69) X_ENp!_D k1]؜F/.4.6J*TmdG^ʖY9WS0 pS!j3[XwEh.ktfx*? XdrR8i>0eaړ=d[;C A[䝐,eL#K kE2?T EUV8M[yć~Q%!6X; ئ%*Ax|]ש̴r΁9 (QW7P3Φ8qAwR~{ ?Z-%OW7 cɫ#嬌A+!ݼ>^])6&G%ܢ.}5۽NXF0,;.钜4Ud<4/~@6'[Q42sfޑΙLK+)9r%]!-1شx?ب2N }m03Nk#b傻 ZWJV\d XX8+J*PIWeqPm{xjrv/ -5Ӏz%Ο+ֽ9thW"pA~VTukܫ z|[R)I 0KAvs};yP$FkhP}xoT˞f|L-nx Mi^59sCr׊G 3,J{?K`MjzB6E-L|)QJLof`WM4z7 B\マ{?UL8 WpY>We,ԶYOL uIDzlwhdʨ?q̫FOnkŅf5beb ɬ745#\#%!cˎvpCpQ/\}h醕vCVgwz6}e}/?mLEc_gr}woʩ99Mp _A&od‘B5 Y(ǨdFW%+H(̝7z2vP_%wv̱gYZ020bef6fdc9d9841987773162281fa8858e75716 31e4563de4b192be88e0135105e1bfcde94ef5e1 33e46e68cfa5f5ced44ff0dfb82522c6a302827e 41d367a2a17ef839488cd0e7b6f5e2456205baea 4daf0bd4692bb5817d7a2391e9d252fd173637f9 56228ccf170545e05b7684ece956ccc14be5d4a3 608f6e593f5561870ef3a8aea409a6a7134899ed 8175f1994d40efa61f26f0193bec7083fae8ed52 90f70e79f933c9d69e5eb9a80ea07033fb36d9e3 a3402bae413b65861b3714a31255809bb05e0985 b58bec6271d278427bdee6aef2eed0a1d5fd6d8b c3c4ece7675d8c208e751ca95be74f3a4d1e400f cf21bcca54322e516d177f2248f9d2cb6afa14ca d3fdfea6e6af8236274127ca9aea3b49f828163e878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12