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 Z+ 4d c/ Euler_Partition:threads=2elapsed=16.917cpu=31.020gc=1.172factor=1.837zXZִF! + Euler_Partition m ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*3wAWk-tIEeLW^G#oȍ?lH)c.^__3HZ޼hƖ/j!QSw7tJQ]ǍaA JtY™9v_s@js"- #}^ ~9  pô?#o!#JA'nDIDӹⷧ fNU~6)LR3 އ13zi_v9ȶ;Pj8`ds:ƶWl h Pr)19zye. ?S%] NMb"R708ur{cЯ`v!@/dC .;z!H?E2%Y;$Q:JQ Ay8TP<‹7O-["q7#K7dR%Z9UNx]/df i4-F !r]as?[u$ i sTM^$͹uv֢)M\1ږg\|a;wSPKyMxDzfM%ꅘ7I76 E 8oP6{{F ]&5+SgҰrർY)GD60neKfnk#Kνvpa:.:90}64vFZs\c}C_Bv_2' bgG#w5C73>U`]c6bRܩDQݴ*ULb駰=$ TSu.ӳ^΁0 rG8N]opBq;$j7|w=>Y[WȽI0ߧ2hagu)f֊璙{H+:0ͱq~߳t `* n?\s4ыA'n΄_}KϬ(Eε\$ԺL=|RXBTbu}Ͷ׋шl D Bj|pC8hTIpB'#ј*\:H3YG2`}R*څϿ EkJqV|84QrXK 6%/3!PSDŽ@A)|^NV{xPβU~P4 +e7C$ 4Ϭ:n5LeR pYaZo[ݐ^WzԕCΜ{)HqN㟓4o0xN/~LlaY+~<,SBBP?p3s3 #dH'&vFQ|l-x%sՈ6]I\8 6qo☳ fK"M/H%U+޺ENX}Sa`GKq7qŇء[2zsq`}9( g1EJD7δ&lPw) Nl$>@%{맚mHQ~㘨"V֕8ư1i^!rB4ޯB!C!Ku;RXmBOW,- DnN۞1|P&kݢj~O^5T8jsyʌ2<|Lc]urú!?)Or\ }LfPw)~#\FY* VΑXok|ZU T|![U#Rgk!ՖBV5ٿH!w:}pGy 1rA,#@`e:\RSg§H'q퇇rIClv;p.F,*U磛kXgYZ7zXZִF! `H+]ŗXi%HUh29[SGl#3ny -ŧxQ- b'|n$cWҕȀu7`-=~q B޽zDUnmqV"1_չr ^"{'ipt߳/`ā3jw&K.PXUU+\ c&>C"D"zܫ]-PE{t~4CF&togfxyb6UT?vW9˟Z'ns6k,:6r, S*}tf 3pq#Œo#7=:<횷ҹ^r#)ޝ/ζ F!dqEfh_f% V9bdrzG/T}HVe LgDtM$uİbg\Sj%78qRܣ-y ~Mc +<p7:@s"t6e/9pؓ jH q`~xV1P]"ji*@xQ >u؇Cmv4+| . _ax@ܶ`"Wz!o w+Sg0fIhm~qG ./ YOAX&Ivp|b+p7˃F/pRjC .`&AzֻcFQx]~&J8x