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  c;4\D ] HOL-Quickcheck_Examples:threads=6elapsed=64.519cpu=138.668gc=5.492factor=2.157zXZִF! _R]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlqS(ʶ=d6Jc?0!ȕF}oⱇe]ù˺4Ge9uI~W,S82 1~{9e-ap*8\}~H@]t$}Ή哊2U~IFHUg Vl02Ka I ]dW3r6_ҼMLjmCIsB#rP蝱 :>$,bPXRgP!"&:_jŞ}!k198,aVo/fQSJUʅ--ƼxPN̲PIL`Ը쳇%ō4"w6<< = 2r2$/IY~W`){r lXM5p*V* S) %te c,jVn]$?F^PCN85Z<FVY f8uD(6Y ׫) ںqYwL[Q/]Hf9HܣItx+j&,46t*X}없NrX;߼jTRzS`M>~-Y+n BE1?B<,9HSTpCni!aw1 );ʱpq87ƅp5^QFDܤv_hnwQq?}uy%YSf?_MX5ed8)C}&\a.0֙Rf1k7E7I$uQeE`ۍVLL~+CV<' f7 S/24mk×d荁'Ky`Tgq.y_ ; HOL-Quickcheck_Examples+k$TX:-z͊"ڕrB<%VV[V;ٝç^!Sˢ0YO?T|aY(pvjz l` _gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2\8yeJl#Hd C b> kc^]r >G[dVKAoF4 V_g%" r8h1 zTe.%VTj.;sD5Lct7DcqRX.r|l2B$;4h#H6U'&bTOYsRzVh[$LVǼ gO^(oS UĚS䖐)K0xBI3.xrءTTGN7Vi5fÚJP&B푈 o+OLG&MG1ӾNTl+M2OIU9Juz;*yNBonRx+ :A,=;"p1+M'ZlV xV~q}] R7ᎽO;F.dͩ3v/{'"W,2/v.rB)DSӅ;5~7™0~\=ҎםK50[{[ K-w:KXx*9c`c<^NbݏuI`~jO#v ! 4z@TiN|عX^I |U8#oқs Z?0i?/uwόnsUQVLY:Xc{Ma\}˅'n?|̯,Y7?\ч;q{+>r(r `0E YAo OTۼը$ϒ_xoْ!ssiO[xیj=&0I=SDWđ})A-z4 &ėw)}1B~<: ӼְC;(˭v OHǦͷ43J- $-6$]D}qSRҸQng62(٤jLLaNRXVg\ë[XϹ4ݻhd.[: h \ɰnkb+ZZ2 ZeD@]81vU1giQ$x9%4 1>zYK^ea5"F SbHNRN<: כvf g9qJk ʺ/%xFlQ"mщy3))ηgLIr KI*Ft0h钝^y[~ǽҵP+>!Zc`%W5?nد76G߅˞;`eI+lVP{jz׷Ld稑3i ![<o@ClU\-W$ivpLNSPY::5{gN"d5[0*nz< j K'7IX3.fߞ>q^jz NS9!u%cvQ֒l{厒Dj/ NyaO`WҘ4&V+dn99m6E5cJ勅>9dLz<#/@* Z4Ẻݚ5`io[Y Xm˟ OhtL?EJ۾Sr8kk`r9WP#FuM"~aI+T r^w.<$1UMc-qnD %h/kGІ H*ql&A_«=5 t1뭙CO/d-kMOy6IGqhNl}y(j-gJޤD&Ո^g&:% ](VM;WlNŴ ȖTYb+aNzΐM>) L bTls B<_X> }P!GEhMS 4a0?I H*z  a(NICs#S5`1!7cHVNctmQ㧛X[]t{I訕i4E,:,IOw}RK+>ϟ=ɖLPm"g-Lv@  ED')VpW/HK$ HNq섦qk` a'Ud+H`֝)Ih-~\0Û¦nYs mUү "lW}SU]8dN9]- IќXKgEY+e 7#zPGU=TF E9Z^ L¤-y"(;MR܎: jT!kˇ]W9Sh?Jayt/%{+Pք@ L/ ?pgoa{lis5*6B" i6So1B?'}7!LAJgzfp`کM^kz]ѫ~w!j P I;+^kˠ,gYZ11fca0f2f84f0ea06a08c84fb786021eb081d0e03332edf39847f1628d35f5610cfefa768193eb62 cc7658c0667840e71fec6de22d6d5d51b1c00f17 980d86e0f1ac6d5651cf703450bcf028274f1fcd