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  o o;4L m HOL-Quickcheck_Examples:threads=6elapsed=64.119cpu=137.104gc=4.992factor=2.147zXZִF! _F]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlQJV6 拏g͍ rdk%a>wҎύgN&u|_3Jj%pZd%' V Fwx]ߺ+j¢i֛ǀ O*XgGN51$l9*]zZV_ҡjY'Jd&GBhN*[l{'dV:KpŌr}pTfj:4hm@,Ucu޴`#Dˡ0I m{1l$J(1$-YEkRN_łbp 9GΈޤA )jK<5$.^:uؼ˓ފ@b1^W^ck@%iU蝹*{@¹+Ɔϰ%<@615g3D'6Fnd'=Ï8m.GӍ^6dʲ3Y"-P Gx6fZPm X&5fBXBP頵~Y޻ڣʁ m_}M׶5@opvV9P#^5e/ӝb߸5MrczԚlM_m*C&AT)/4aGSy"{챋z' Ju;9EÉd UCocKh4Y-;81Ћ2bX̅s6Tik9;c xKz9[]C:6eMP@ZiZ  Dia?b<8CSwS ; HOL-Quickcheck_ExamplesO«d@ޤWC%Avߘ5,xw.ݟ!hva [(cG%vcG>K~~ɫ-59݈OAju"q ͪO;-zE%HQ=vCCɡ@yn綦Nhd Y/ 1(vFYe_A󌰡R6U^..:ށdi;F-_H0(އ`ä!Y*sDC.@߻j(:h=M-Jv+ki?jw)eD»,BCaP_z5=.p7K5cw&hpjR]ȇɓ6kǞᰒ;&H)56{ilSΌjwE%uFL2Loג :>'`)X;吞S/p%r_b*;aatRw+pÆbmE$S妑)jyƺ){ZO>͝'0O1C) E$(I !,3@' sfM3-:.2jZ)*@B0}.*;esWUV8f).p4Lv!K~R!6Y|{y;ҹoh?3\VO:Aowy#%^WF~W QmFmh׀3Tgr2ޫ5(Fߥ:"xWa!G#PhZ{ ` NXWdDIX8b{@XM=2jP 0דARm_保%D^eQG|et-]BEܢN08&F!WѼ0Z)+eQa&I0#y 8e9ƻw`caQ!VˋfPL ^ɛ)V~^*qwVU]`g+~7dJx}~W}TUP% ي{gYZ01ade8d609655e791b8b418d641e0d6520225e99 1a10ccf87a1631fb70aee9714bcb344bf4ba099c 29a769ffebf1a71c6aabe0057994d89146c5ddd0 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 794cef3afabb1c309864dab5c04c6c6946381a35 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a49603d1bf67a605293cf88e2c3957ce6d1373138a002 64cc12b1b21ef22d2fc73d5c7f5b09e605cb0da8 098506459d499f4510fdcd2803a58d69c36a879b