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 7 \ c% HOL-Quotient_Examples:threads=6elapsed=28.837cpu=43.692gc=2.244factor=1.527zXZִF! }]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ="!s)hU%A~T=Ki,y\,ԇ`fx;ˆّuZZW^_|]% QJQ>ks>>pumcAВ; 5!7]zz@?*jy\F m[u8a)Nt_Ζqۙ^+.e}|˹5>qk-3 Oa6J[=ĎoMH mFVLt%%YU MYOr #"p&rwMs~J5ʩ#Ȯ`"U&A[.e-$e >֙{rw=DrwR9a$رUqJq4rkB@ՑnKfN$c! c=oNq]82E9lW&VU%Em-*E|$WOr]Oe Ac8y`jy34= }Ň e}Ш֮Uu Ȱsط-yK5ѣn(SǴdAk^${P 7 HOL-Quotient_Examplesiip0,4-ysC9_Gŭ63h󂤱.y!Bx`%)2J' &Q6Է&K!*hnUCgU8e&#<#͵hV>S|Wu~K+ 4!hn%.#Ձp)rqhXV6&`T| sꌯJ VisIE|W&u60"{5s3'fQ (Zt䱉x/lԭ껦<&R "_t1<=~3ʥ+Lto+G ix%h`Υ5(m'#234e^v-A -SHբQPs p RJą畮IKZ?\`ru [)Uf8u{ 5%ӯp֪^V^G\I縎[)djY ó(xk{%AK- he]6RYLMӓh_XtIs u~KwxSϧnM=(GUV /q|+ihGtucb@v3ԌTQ#لHL[\DM"/+jh{=͎3 y7e=PP2 3n7t`:$Mk `B0@7p+ai[BP\ixW!\|D[n'{x)_'#`Nլ' \.q"!W? e֔Do Se1x>/=|Dawit١TaĉEgYZ7zXZִF! ]ŗXi%  'H4ucK|+y+g$P=do'M`#tLH> qX3&6W*DY9xSi$Egh VʨlfK<iv0_A`M]A_ۣvp~8>FQ<$UZv]~㏪Km# h$Ԅ ;!8vdڷqyֺ_g;#WH%j''C "lEQy`s=.k &6#~ 1'E313"dzQC cm$Ԩ0檋|3]M/_{\VKX$9Ӣsu=KW#j^s}PsYy#ٟ3~B#oz ,F4ۇ)^g`VgH}|QBr-IȱַM-o4 KʪYy_#k7bߡ?GU-Y?)&9edTR:d.2e\֎.#'rESf>=@hdV u]1y>jmZ !7^,V:V92Fu{CCHhrRJ?&mkQԷGT'dvH \pIa`x0N WU ACˮB1;riOY/1nEl ͺdsE*NpTGta &=s̚ڹor+n"KSb:a꩕;Pk*(6EA7S(ՕLH}2$&*VhSL\lkd테d/z ڼQ{۰iֺ`Y6&zhmM$ˆtڈ)ƻ yƧw'*:{~]HQגD@}UoTW4,+I1$ǥ)r8&r=j\z"瘥E {,(LK/Ynٗ[@-8%,&ohg8