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 UU ;D ] HOL-Quickcheck_Examples:threads=2elapsed=117.215cpu=133.960gc=6.068factor=1.147zXZִF! _:]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏl߮HO‡PeYGO3z(٧ysVV>jqbH6h 'A}o &BpT<(ȵB7DyyWJ8{)mZt^;\xX(꩝-)ͼ1a>,j2}^T.) q Ac`A&X``,=[)i֒^hi 0p"sR8y@5JM9m~!I `P_zqZ DB?3ݒ#N9^gBn2Q ӀҌxdMH(yʟ"6~~;&]k j 最LA?6h$rXe*A9-/\Ϣ-0>a][5ip5wz!& h텄RcL-]M!['~E&8" |a^!Ңŭa fϷٴhGL enfI6g>oYO4`ĶH%x`]LL,Ia?Jl%kS0H]*(bVӓ'Id?]W"'}@4@Hy2]HzȋuiL%soܜ>kf2k0!..[NFCqZ0Wcݰh y2ht|<7{-D `| 7mjwy ~3*U WZZC=G 1O{snUe؄[xSMtMROP3W[ZjRPH4/ uOUqYȚ %Lqx/TO,󘾍 !ʭE,-Tp6ZNVZ&ZUC^M*%v,Yw޽(SinT_-1$ PgR_tA]PpC5wz]Z7]愩EQ}a}_(oqZo򯯺ɧO\y9O]us-wnZaTGاVLo$Vp{GPqD+4u >u!, t8N@4Wml +^R+u=0 f4Ava!u߭oSiHylC[ j]LNkx9D.4P&d;Eu,< * |c>APB7c{\PWLX'M@gMgOZǥ Q pq(/ΐKtO;8s3MGEҮ$J9X Kp}xH$\oOH#z'"B_# m~Vn(~wͩcV3}|ӳOSOzDaU+%M{Yz:B }|-:[XښЎQ4PP)G7 3^4bM-`{?H㙕x=EbG,rapZXJ1SDĞX@qL@._e` vɔ8k]?*x-o5IacϿ=suBZ;Q<6=nreҡ) |1&?͆a6n@_eW2OgqEzp^''ՆG13+{{&pB*YꝪdfaxA-I,T/N59xA/(\NA̿f-0@E/ )u\d0EAJmJCUȪ3u ) ^b] %^#_iUk\M {kc֦s234('וcjRϬճ ]}Ć~wo6Й]|?Nf6,+rA$V$Lja!qg?]9@za]tGDɧ t8*˿.d>sUcm}Q J_tLuJ( pe*G^'gV14{,LruIiңH˓QiV>UeJPh1.d -c)v ^zH+SY!bR?d/!~l 3-Yf"䡐E®B%^_j7hK!!ZۧD.#{ W()q3 `j~ePIcjcߡ=~J.3mj3t`(zB/.'JgCWqZj2'C6#aj`ԳU@?69#Z!P?L"G\JSY[[<Ƈ{M0ѿG5mxfc(m͟gpGUT%A8|<> +| HdߝNO딟/c~ʏ,r~wˇv ͒`<=rIr.9)Y]N(!U[ {H`<|{ !`'Ĉn\odh1/)QuzAiDk֢^VmYܷm"'GȦ*$耏:r u2hP: o bջvDWk _3He+L_ #"/RoPRgnLcq?OwIܯػw@ z$tcAZkve?ZhQv8>祏aJXp 2x@Cm`t7 yTP=8(֜C|8E;-ʱV[JSU{1GrG @w$-k^=[ #ocʙc bs xo.R%3QG%Xɤ$R˥s!Myisr/XnY-|+q&{8 +E⭲ ,iAC&44mqN۫_Edg&3Il$JC'5W ByZ2^Z )U|]ڈ; FWGls[L/#_ԢC b L➒Fl>7Lɫq ٩ ̿`>@󙞆7Y_%zߥBgiV~ϡ93"ceI9қH#Yƀ ?9OOob6i fcqL!.9)+w"4 u5u"iɬP!"GXrwݒuqJ::3[%̿yϙp1?#Dpalp-D~zrz9j_2=!QsLQx/o&In9@h햾Ϟ@!6躜>)ZgYZf90b607cc8166c1ba1d365c57ea97a76fcbeb3f57a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 0c6af15267b265e8188e286a4be24f4639b3ee7b