SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 :7 T ]% HOL-Quotient_Examples:threads=2elapsed=34.766cpu=39.684gc=2.600factor=1.147zXZִF! d]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*CxvQ:uZsb,oup]u2n}(Z( dwcGEgk?bxي;v(n0 XPI;ףq~i*^;)D,{ a7"5)!%y*ީ CJF,5Z%X;Izf׉=x^̾)^9 Eh_m\^Q_K3ըźC.o\;KRiԬR-҆T37:0ϧ~#:elt'a4'R$ 8yԢib<֙.Al<^һ`q7Ugeh?avcCKwR+C<(Q CMc0o5Ч|/>͋/C#ZKe푳hi[W8,m95_Pq{A`!4gY?@l s']e%0}unPr`V8"7>MS{E!{R izvgƹk<^2 q~} zs#Ēe+]8z’x(< nCb3U>iE'=}j%MYUQuJU^LQc2]a mf!>>LHr?lOd368SgCƯ/%\g#ysoGҶP0Ĺ5_r*-SLy*H1Lxe:[@K̏ KaYⴤw)^|vёk' qF>RsM,ဦZV!eTB94wnz9?Qq; a=V ٻ1׌ c@ JJl_<D8{Y"´j|pɄ;aFRlf-$1^g7%siF%u?iٳ1)z$V#Tn^~&& ѝGRg.W%2e@Kiu\NI] Twq̎I2ayV/e == !7ݐW|u}PWdla [Q@9V|Gj1 1i:wڇ26s]|7-gi!A Ԧ$hzEVfz:e; SާZyJېkl)׎{G]ȱ!(x7eVŗadjUoa 󛳛Ϋe2$Urjԛ*jg$} &.Pㅮ$o-oHXEOh 5ZP!x:p;&Noʑw0ǂAuvjh5ƏV,TMݾ+͹}} ZB$r&%/ccJGc(ﵼt->x9Q᎛Nu$4S(j牄 84t&LĶ}v1pU>p*=0ܙ?-D,yꩻ-E;R #@kP&x"rH)<ꋑ?ZiG@] k2"OZw4uKF_YhH\^kHm`yljsTG@8< )DXj35kݢ ;k/l_ m1r}Pu/'mnNyYD_M,cj?]V(Oʊ%;ƛ}BEPB|kz{6$Ro6tɍq6-UY<[# xȼv${}OыM[br#O0Io=g F<:^%B6?joxh֣$hj|m(-I~EoPMH4lkIK<}9S$ZwI?Y/B@9q%^A _/;A$9b(/p~1NB$x-I wX'7<]5͹JCGh JUug6S YE>dUS hM[ 0k$gYZ41d253d14cc5edc13315fba9598adb07ccf2287a1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0 605ae0eb21f7e683e64e6c6163dd5bd94075e385 175515db619aae89d62e88924b37883d2be26b98 7 HOL-Quotient_Examples