SQLite format 3@ . YYQ77Atableisabelle_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, "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  j;l\ m HOL-Quickcheck_Examples:threads=6elapsed=64.358cpu=138.352gc=5.020factor=2.157zXZִF! _.]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm%ceC `y^\SvHiɿKms*XN^wk#c&g'9\wCH}Ԯ*BK`3`$}z#w].{=]!΃uy rH5򿊚*8 c$n8fף)D+f6./>FHQd=OR.KARY!ϸS*mKǢz=Єl*4Mi+_KY}|]:z }Bٟ3Q$&ڧA yKt̴hew hx@(Pc:0TS4Z;F#eC\ Lrw^Cw4 (;((qwF*iEj2P#^Zd4E_'F qĠ|?Z <` U忈XC E:-*m=@ ݸorphQ?vNC]si?_jNB5J5&݇1uZqIjT BοC)Fc\(ϜO+O\aUV۫tԮHeTdP183[?м:6P:ʚۦkSs3,s(4 yA1*sϓM"]+)Yy@pRUvѱC^I n.B&Y'\vJ#jJV3Moɂus/l~/>91x5Uv?pJR}$`E&yn\9G3OHo]$ɫ-2Z:@W6b Ε?[UYTPgvD:}hK, V('c.8ɯ>n (lE98z;T?ݔ84cpgg76%-xTh.uSAwmxГY=Et&BHVe~MTZ7֪玌,D$LXTԄ JA]cdn#(uL㥌1FN) %qZwrl4}Vo>~ @5LPݭjJpK?)=8J!L!RI(E=,BqO35&M A>~+_?`f}TB-a'_|1[9CnB[niԵPʿ$D*}mw-T,;Z!w1Ρ'lmt{6~켼U/L_ϕGkB7dEsz9hd"HK'50ߙRL6 Dm=RL]Y~^ 9IVGyQqG?ksmF|Z1gLTZA.IaRZrfږ{,r/qz+iRu^lLD 5 abx1kd 1 ~ӒG897 7i %t-^ װiFwnŻ*9d2sc0%BtB=*ZWo`0Yg )觢Sv(Țo7m,:9Ӵ; Mn]\A #T!nj}E Ih~ Y ¬b:x}icGMDi,yjAOa6ΧIkxy "Glemo4P[֘vH"Z "Ve M8plR'~E3-gYZ01ade8d609655e791b8b418d641e0d6520225e99 1a10ccf87a1631fb70aee9714bcb344bf4ba099c 29a769ffebf1a71c6aabe0057994d89146c5ddd0 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 794cef3afabb1c309864dab5c04c6c6946381a35 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a49606e5eb9b4ef3d78e2d0a5f155297d092df68a3ac4 b225b9f4c0cdb55617d75398ca0740839167e848 d0330b918c3367a4846fbd140e99e2845acc9135