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;\TL ] HOL-Quickcheck_Examples:threads=6elapsed=65.274cpu=140.484gc=5.372factor=2.157zXZִF! `f]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'ҎmXT) Rt m94յjD >r!VMo^Q2qz|xiXJ"| %PY(ݰoX(HbֿQj!1:'po22BL4:J 8z>攜N3o<,dWSgn'<0YcBQw>X[#>BXG}M&.q4' G'E^p ͽnqաiwgHyb-B(g[1;t4jX5[1J{1`1F,*htXEۈySO=kEEtƔ~PNJJӹ 5Y,Ƒ1I;Ϩ֗1=$5[v-tTXe(^آ-o|Eerr !) \!lf0uȸ/k'&KcTL\ c??ugv$!s݇>D{\?M?墙;,FQ 1߁ĻVqSf!B !蓗jsG[8LҖ$)P8@1wk?:" uJ&˰ {H @".,EӯYhO  1 ̅<vu\IMVn+5~-7 ~<¬*OĽ֠hu36Η&e:Zk!ѱa$Cpx٢*#3f E DȯRjLC=p"M5.Mn d4 ZDn:S_ CS#$ȩnrbԮaF V Ue[ޤ-Xrf8<{ )p%xR-h+m{^ yCڂAޓVT+pZia]p$vֆ  0|L:!a ; HOL-Quickcheck_Examples4y`;6;ޤs}+݌u`FyG$]9l_T㞷UHH(W%, !'fGc*3򩇑̇j_VXN|F495<g UxLwr3>ot!Fmed8ƙg~9Sr[XJ2^gYZ7zXZִF! 3 ]ŗXi%96+JŖZg#EZ (v>MPyֈWs\o+A[?!`ꏒe֢[{n a͙@)|coo-[/m6 h,qOTYD\>o6 A*a٢Nl<wu|Åxw8hY)1+b}x쏞C=˥AI9,EX eUI lRLLON+k.1 7yGOs%RZ!?gB]Ev.pZ"ăI:Ϭ-}Tg_le@.+ؽZֻ1&jM|Z%HڮrJ<跫Ft=)(Hn`8KTo]Eƴ]2?#'KL9|TwTby`.gI"}heT`|H3J/hWC//˙$=9;}AQv[0!GuKY%a[)9.jeǥig9fQ|y)CIS#9$Ea_TD 1ُgq$omd_~#T*u)U6y岒塀;< }a,.#>kƻ#J9tfѦo÷&.)M!ٞS$ #!*rǷ;]0Bag z9wܦ.ŵS.F5c+Z39FsU$k_}te-p[Esz4HqbWN/S/M'D7RtR,Y9$T8a,k껪׬D ٭ ͂q%>YCސ櫓qac\9P\jkUpzH8i]U~w/ppUтoŽҘ`S6~-nB5L#TЂ3B4[@+:nSpj1шa|>m/,ߜ"d;؆iO]~q .ޱyhc~! $V냞J,K0`yGN$_3%h=dڋK=xߚ='_s>n|(71LSCND6h:6"zKv2##VNũ'xng^;xT1@_zRuhw=mq\$P}L{Ml|45#YR z|,N)${ eiD jӯzxǷDzExtW )4?=s=dqYnÏM(_rHZQYDf# (4E0ZZI~ejY'&u]5 c(;8"wz];`m+|#OF;ZO:{Ao \^}뮵-p5__lXRjdqbڔ-O6aG+yx' T僤Ț!5V x 0:yH!k@gy7kŶ2 qQ/L@YKKp8^:zb^r7Ekz)ykW LduٚȔϖ}@l.m[T;'X0'\^Ĩ~#Z2-h{Y"Y7CJ l$,ʆoeLBZSL-G:F,z6$Gc)i 0.ՁwWƼH{Zͬ(JuKݑ' ZuF%wzl]}"_JW~㛬hġFAvN7&SsGx7ڂlMwc48lZ.. z6^n  ?]PBىʾH2:X' 'ə!י!K G*0:UYi8lUIk3&1+$PrT2<J}‡kuX{ ɠ/e7Wt?G=:P@ mߨCP?(>rM̢A~0p;4Gݰ 9@H&P@iAvɫi!YOOM{tK-P;+6[&/Ukyk) 8 zyL7 >ǧedǛ8<t0#O!*P_5˻8>))-.7q &I 79DV*Q?wҴP2N(e6w|a8lc$~[Q{-Œ:E@|ۺg?gq$;tùr4>< U䠫k#i}FAzՉB[zC6W89_77L5()U)tP2,%c> Dfi.gD"5X\Xͺa}!UG4gYZ84fa5cbd74aad7b3426600d8a14218811ec5b7b72e856cdbc8976d5457a0edc209f4bdbd9f5500c1 dca18b1724a67012412f5a3a93399814c4427184 b769adbc3df07dcd5b16efd671cea4c743e929b6