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 $$E) t|  Landau_Symbols:threads=2elapsed=13.279cpu=25.588gc=1.324factor=1.937zXZִF!  4]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSf8 ) Landau_SymbolsXfV2}cjc+9=Asњ;DHs@8ZH^?rL(I-`B3[PМa]-%f0;k?e*tPU˓0 6F܋3m-#-GxAyα&GF,CZǯ<_Bguu7GYw/%_MxīPSqH9{ŤU,EEo ǾR mwe9]Y mI" %էPf.A}IJyMD񙴦jw:\dpb8I`VvP` ɊELż{-A˯M4(| nH=\N(σ?M.VrŅ?IcܖMQ/>J' ~; mPs脱E#)#XGq+i ?ޣ<~I3 1sSu)zQӈ򴢲d*j߯#\+ :ܧi6+Y [~,$ ;^I8ۂ 7U=I|3-lDT5*},5)!? 34@$C]υḱ!*/ ld̀1=Djf,a}@tGkLV_ 8\:WAnHWvO(=W1x"_r@KуKV V6Lq77/ZuƜ“}Bʎ*##Q>miUI9"N0aGT1ߗ› ]JI]O]iOJ6DZ$O!hA*sa[r#Qe~BP!IţWW?4"ɵ_/{S4+a/6YN40z+ Kʘzz˜+TDS(!n?FW8Gyv_=ʋ crM3;RP?H`T̂!`k3cَlA~d SW [{ZBEqnAW]{%Tu:Nb͆[H/Ȗm@*sƃm fCXl7O3w8x-Z޹UFn_L+Х 9!_bXgpT_XMȯ xA1ûُuVʢx.-\EI-oN+Bkm?bGHc5*?菭|p\E) [$bwsOˆH. [tϑ$ poI?[kz. H8J ^lV8Nyvd ul_h"h%7yga> 3&X\vv j$hGhGIh8FP.IQ+}n㻀()LdY\E_9h@I>Y^Q15G-iQoɩjdO2TSVwO˜AC9ƺZ7h*{0qḳ;iɌHU ݼ!\T[ڸWҏ:3\ 11%$_4OX(#kENV7[, #& m)?.6+~Ӕ5;/n I'Uבn_/wt"^2W] yP=-'ӐE7E}a&dZrtg$c/.UOaP?љiߗ,.Iu^OS4`)p- $2]vG,^כ=O_qK8*GMI܊Z " qZBQ _d*B 3/OC՝@Jc5fS':QnˍQT\ظ;? b2:A״x#.AOs1o8u ]2gYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 99a1022f7c5e258726c42743163c68599db87e23 abd4f4003e5c1415c024382074bc61f67088a1e9 e04cb52ccc6fb373be469de97c1ff8b538090ec4 e1e95447f60e6fa9698fc2dc2d3f9a6dee397c16878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5b529b8696e26d1affe58331545ef5efdf5192d0