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  POPLmark-deBruijn:threads=2elapsed=24.179cpu=45.272gc=2.772factor=1.877zXZִF! \]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4L{Go+؇tT߰. ܻB.M̔h5"K?8AHD|nɁNg&Y^xKM7-9xkE'qʶLڡ?cF'K4.Q\Gg$;a<ۉO9#E-W`ncDTg4 "y/t h7Ŏ|ay۩01_8aF׆6AnQ1%l^/ P~qP/UYX<~D:%D4d!H]N+ 6*f|NpJCS3*F``,ʹNJ _,U%fn)ѺRN;Sa|!DwGWjln%7TB6`Z^E4WA`' 2} X%@^AN#g/7"Ŕr&o|ՅHiߋf8wݭևDBE͔ћ/#쳎(MZ87Eq+; zht~?F v +9< [5]Hr @I~@rth24IFcI $]mch%Htvw >,@q#ƫF[mݾW7]'2U{zb}dRY6RȣHBȕ#3Y`;(*N >?TbF\l'LY_E-EUv&o%# 7[J"`RDHZ}^ . wͦ1ա%]:-o]y![n ˬWgso]f=`X#ON@[ Ҩ-(%qN r)Nެ9{-8UgZ'Jj"/imBљ I8DZpI0WǪ=V oj[Junmlޝ)cCf/@zDЂ+*Q 3ZF"O@͐4}<\Ȇ)f)=/Ze++>"hU oԟ޼|ȨaJ N; &Cp. vWŌ$[K"Tg.; )p 'aDP.E NJ偅 #eI%}j+܌4 LnON( M}6U-CtFU{&آYXDfbX^/ 8<ۨBї]Ife&^@])Wb@69 ?I+/:&A!F+\~F9C=[ly7MY(`~ + va5MFj=.$#b*!+mrWk#xdX*+ Y:9L$a TfWSMwWϓb"Qv6UADр BX&Ory=YZ Lu#(LZY= r[TԤ.).T j⻼|utҧo\^NY?+Ƭ32 3lBϔ-6Ld1.E+&Һ#kpswbx>)fwƚ{G,aSVLb$d CLgYZ0cecd99749e4f4e4f0eb1e6117325565fcaad58f 20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 / POPLmark-deBruijn