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 D$ c% HOL-Quotient_Examples:threads=6elapsed=28.279cpu=43.968gc=2.336factor=1.557zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLa B wg($ۃ׿>d,Xn%I1>g:6nv:DsM-Dv"?cXiURK6cZڌ3az`Wz5ELe:dˣ/10wyGj%N`7@]!q {T5Pu$~ ֤ׯCR<IQpbkFT<–9izہ?q6d81*!I*I3 >'qUN>\Bw yr&"|'}dJiL *SKg k[Nj#NζӖIu 4w2c(-Y;_("A^E{k$gC{~ےhxH5P6>RC ЕIvQ,09/)ѠԚ,w,Ӿ Ƣ c=/neF>zGAX>ʶ QLݤ*DB arvT\ĶF? -ry=30mA w3뭟4Y̅T qkk͠lJ5c՜+!) 7 HOL-Quotient_Examples@?Ȝy:ն^; $)s GyJe2T\˙У&83%TأiZ3JWkϞEBOX=LA((l)>I 7 C^!_ߺ})}} ɷPEvR@t!#e?xIrKx4v6L@L, B |EjXiR r[ȨB>)Eβ6}C1hC̃f@G5_Y=`#D rZTjz+)鏷USi:~ *䂁5/z?r=@#UG? 0AW ">LicJE<qt^D^yaqS|U50U.Q1;n.v?bT>*W:/7'6r1{)W;YC'.n@@2МO^S"eD}2?o%5hyg߉" ߽̈oL^YVXyPևp#B v1ڸ4Y$\a''9Cif﬷[:g^cCX, iL?q9#.R쯯 bj /nGϚI7|V+l#c8α%U+ [oJS ,J&0'y-uCPA=*ba~F U7 $ϣ߇Մ1:he'@Z$-F  [1Xalz3{}wed] av5_LT/Tos֐ Ж~Ez0 -k8(ثGռ%+GMB]agM` ^-%\=jhf$]sf4mHO@i?2a ~B\|C9@? d&iڶ \ctH`'շ lƍ9r|>]sG)ThYxn:e-o Lk㱞Qa Mp"Oؒ^5ׅVL-?Ck )H 3m "'1AѼ ?k`MGYcx;iTʿ'?6?MH ZoRP Piq\;jvge Nr7<2Ot8^:Z2"bg-ݎAƤF}.mtҗJB<|9T^Ul[XQz1]ʋܢxt0{c"EX>2ElHd!nkpL3~|HɁWwLh|,J3t SKMT+^_S+֌ \?c/[8zFʶ*lzLJ$v 2و) ZWJ`n!s<$Ɛxr#Լ>BzR+]ُ jl 4>ȳk >DQϮʅ!_g1HAw0P&Bâ3egYZ7zXZִF! ]ŗXi%X$&y5F)Oz!8]/ێz.rt_u:c[aW-lK)Pḷ xņ8acVL~&B)C*?mҭYlƌ/ 1 =4/;9N!4Q{_I=:969 =ϼ킕/Jy*@*:7" *rf~^i fz;ʜ>me+Xiџzqт{ vܑd{+HATplT0a-]IWAJ0Vӣ"YqwE.j%OM