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 TT!! $ w Akra_Bazzi:threads=2elapsed=88.177cpu=155.476gc=6.592factor=1.767zXZִF! Gl]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*kEmbpSjd })njz"~~-ez(瀯Lz$IaM* F>)GixnSaQWۉ~ZiOë@Pn">sn pgd z}@$:jX9&Ǹc<ñA#;۵bEe;oAFR7Q9d'/ D#ޡ%TuHaU|H>|g ʟz4\s^ $sL0T/@{T3I2/Z+t8ڵ<{1^&B&x~H'IK):XF `q4@2*F7Y1cdΨ1k_ZLNMDrbZ?kSKNVoD .h'im c&Z%t|)"XM-[ TW9NIGkK~]lP4˧s3x̪CA^g6*۸&vRQO7!b.UY }pBn%ޘ>}(OaȥHsʤ ,j-I5|8~ti(?]Ym ߭Y? X Ur'=H3bI㠤KMӘ0g^}누d:89;+*3opsS|+nRKCPuzvPڳ`q9-iPRW7 g&{8nާivX$>mbr#ّZRUYoDR5FȤE~+zLLGddS*lޢoimWR*Px*!xnedQZ#Ph^th\ݷonͣ`pv} E,[ *⧟c0dm{pgM6,|Ñ`>V~a(GW*5ǧ-5 _gj2W2x.ߒLGUMSZw/Tgg qfpDX|G1nf($}0qy)@4B@_?7$pvt lwxR$lNU*VfS1'jfqu8qQu򟉴nLѧ5ҋp _h8MNhf%6+GP3D II߻J3xT-d@lYV /Ba+LoQWiH5t!\H,#~ )#%ZFyVG}ul+ךB٘B~' p ~OFٕ:#cmE1.GJ4C vm@"tw@$0aZeC4`'~#*vQIޝxe Unث_BpX*¬TcQPvBWSP 㽷:Rꡦ ,dֳVW>n%@Ae[h,0!Oͪ++tg$"XrfH?b4sE\]x"R|,8ngӈ#bR9H63z9Yr|(/TO D^}oeg+};OK؂) C=\ޜNRV<~ߠ,6k`0?&q q[X/ӄ&S1f*/&Sl#J,IzmY/_yIq؇[~S\PD^|xaI$a5P Nn%G$'ųǫ= *'(7P2C뎆zt*Un3]: f#;l/ 6/ޏWhQKemH%|ѭ퇥QìmRFF[Ds$(P;aEM$u1T*VcS>#V9ZɔɖX9hiGZ`MK(bXkNϺj#RD߳ʩAS8 IMyR5j^PIC苛sἱ)_j*YG@4dkQޙ}oTiOA1oI >&ҭƿA zCU'*fJ7"'o"t9`Dijjl [zS񡯽QLɅl  ! Akra_Bazzi^A iErf/+ip7@w#U (]~,3p- HadQd-JaKC'98XS.\rM &^zպ=;az?N5FVIX\դuem }H;ۆ8MݭӤ?oJKF;+>d1[NE&u 9Y#Lb~̲lٚj'_>%66>hYFx8fH w`:9j[5q\άpzEѯ<e7Dy2Xcyp2<߃q7Dd=j(Vi #|fn[[: ͰP`cUYrRF"z݂ZT@d%Lj 59q7<.súϖqMqEp;() LՇ295']`@* DA{;3hŒ2Yl丠 \}kJXpDA4/cnz)lrƐ9%d)Ɨ 0 Bti. ÄUKV-,HmL=/MM } l0 ^C8V)&?ڳ!%jl#cB[ !F{"/|jd ?c TfJlf:femK# ;3;"Zl̯#xȵCʜ8q 'tm`ZN= aX*1!^ᑏ ݺD@y;ON͌Ĉ \XbRkJqtQ=t3qr;#S3O+L'aL+47仑,,^9EWLA0/gumn6JM/7MSȬl0O00X2r= Kxv_-8E߰_8H%˧7]tT ԥj>V: pH뚴v\5Ӕy0Ÿ3E@ 2I4Z'mP[[\uC_VM[ګk巋zjBagK lFy&vTq#ܸ`=71%y. N"2u&ۨƞRZ \:} ,0*12;mr鸐Vl+ n[砛!PM @FFߋLb^Lm`lAqKoMoޫ/o!͛|s/ͨ FZZXdkeU! Q0gQֱlltoQ ; tgPQ>(/)7J^׫*@Ξ~چ'i]jb,\-2TC]+OY|BS9I5*f,iAJ8FjPXűl}QyO5~sr_Be)361و:V'&r=Ւko]D<% ?%}?n^:Lǒ֍Kx=JS u`Q4ȝ"%oZgYZ02ac02c44f8a4fee59a50ff624ef08e3d143c9dc 0e2369879c23ffa3af808601205c5bb2f112917a 1d7093d98c5564feae1b63d04ad5024a9533da8a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d00cd2cfc86d83f6993b165e1194971a5e1222 2aa27dd94402bea62cb3acc240bdf3a481ea2bae 2d9b02f48c7a89354978df16e1ec664dd5b62c96 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 650e89855804a57a0d45c2e80e49057aaea1caa0 67221396bee2dd5023de34c8644fc45782151c08 68a8703d0c5f9fc3813c28525ab8a528df5109c4 6d189272a50582c8466c603bd54c657408b178a4 751ac7a1baf07200e692723be50ccd72d1262543 7e802762a7498c5c4fd131f89f692841eaee9c0a 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b bbd204e0147a207e71ebf56441296649558a4e7d cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 d25f3d256bae918966574511fca2002460d90524 e2bbd00c61c94245c370af01dbca1b67a0c2a6640ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 813a7ba5208d944fd8d3da8c497abc38abc3ab1e