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 % |4 5]Regular-Sets:threads=2elapsed=47.975cpu=82.020gc=3.604factor=1.717zXZִF! V]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+ï߈T 4+te jzJ'!A-{`t9fmXKd8KUDgTTcAV|~9\a0{tږ3J  % Regular-SetsE͜Tަ)]v#'ws953jCRW.0C-^'T$ /n>muj)( z4O{3X/Q9C:N ^:MhCs]Q52j'wQ"<.݂L^/~ZG6Jy J .rT:֏͒㠐rAVptDL)~D&`8``rp][n)ԕ*Z9mR?>ҿhb'j=5 ޗg#M: CLZJ_C 9ӭnݙudœn0.1|=GDGc5>@o Kgs&"ӇZؾ>^T h۞ >ьߢ[~<fzж20>`]agA}a?^C] /FcBw{p1>kI+L' WQv`>`_TcPfzhù)t2<+3P"̚X  &\sy{4M;㶶gB !q 2K(R_#c&mܗQ#y˹ߚNmtQ7"i.^bnc3C uLO\6_+ GS}ϸm٢e U` "x0,\ߵ/>c^$t2oRϫ#uҮ!#МA>bYś\,\50樐w" %ӂⰬ2jիg)-~:s{,}k`#˱w O)|JRYݩ & l`=BpLk4qt*ȾWI\>%$9sk|"fm!I:hv;db-x],맻ڔΒ =4nm_B>Eq ؞b7`2Tv SY5*2+L=3?AΠ%Qtg#LČdN2.ͿtL'8دtDCO~`F}@T㐕# 2*ۍ>fdn ,RBC?BzE=shvgj+!!~$h~#bI(|=ĭR)S7.]%`H~!:6` mgYZ7zXZִF!  ]ŗXi%H9s˻%s&5M!圹|om8ӪT}JoJo#,񱱗֗&)+s < f1m=eQ+넁qŌ NA] %ӛgvOK&\BG$-^sAC,j'@2Y[TUcNЊnyKVRRsxNP[E+&a̗SOe16hf|!ȿUCy-[\=^A|^2ӐT%Wܗ:lRE.t߳cdbTr^6E_ߞ Cs~;̃%!UOYј843t\{?,||ȘxQN&ꁡN+ d+rXfVa *zr]7`5 &A< uNlra?\]}RO"M %(Ou\UY,p65Q%%P8_&Cic]]Nrm \`X&ǔ\%9p'~G Ҡ;djMzxp l1U+ F`ޟ],'js/g^6sE=YޜvI,v֢ <ݯwH+y76c Lg`}y_XB=ڶ&<+}O^}+ULo׌a Z9![y6u3%Fux|E vϢ֍7`f @&/:$ڱuO @Tb$%^~hH" n#EJlrfadH˄WnV8ۧ6–A;ֺq%ZV:UÔEL!E)Ak=mrnq=Qӡ[:T*`#T#BVsyo7JPG$fr:KK%H$7^Jזeؒ[~hI0ZU֫#;;a#Ӗ3֎\a&㢿yvy%H3\䅿N_nBS[[njxG*2Ⱥ ua'ǂwk[z7.똴‘-! uD5a@V,l]ғ규/hЀvIȚpL:mU|kMt5j sRIY'glE wR>,3>S'}u`>65+p8dWVuwązUJEL9\J]i,Z*uwsDNugp} ?sy5h^rÍFjT|J)R LI;'Ei- =(:[CCXwDn7f+[=V{K!kWq{p_`,v|OړoW8_Z.Շ&Y 5_25[y~4 !R@E[` b{(*%* JTZ45>0c=QH ̄ق%ؽSGǚuk(9E|0D]/S<)*}f^%MVJ5S]܄}~`@Sk?(#&A1 Y(C{҈] Zjv]`2vf0Bl lW!6ٛQC ҅o) -ZeV2WO$c>N(stD@O0mEVe( OsjlϟJP 6 Oox&>^rC( 4䡚>Ձ:&RuC0@o,gfe2 BZwi>W-8Cv, ApDs$3ʇH SN]BLu &UqjBn9Ĥ6hOeh0tq?~C/<8^v<~vRi>co5uFQS uۋo8&N˽wr-)á˛ӽ5%ZV?Y?4{MB? =EJlJU8R(c+ l h$i{j`Ɔ$un-@FUbe6y1svW BKOjh$:Ctie! m)WfqLZגk^Y\5k>a/"'-꾑Q<4DVDNqyu4zAȕjvM } y8cŷN2x%bC#jHc*7s!'Ks̠伉3ugzp7<J(_ǹХ>$$D1@3 rA -vٚ"@L0 o$#B>OAeٲbƓcE=n=^ 9 ۑ -2=9=BgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 3ec84dc92f4d4ad777248fcb6efcf6965055486c 52b0aace9d7980c050fa4e0a384a785c607e5f31 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e385058c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312aaab60f2c754f0f11cb0156fc11f6c1cc9d4779a1