SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ;3 $ c]Bell_Numbers_Spivey:threads=2elapsed=20.002cpu=37.948gc=0.868factor=1.907zXZִF! I@]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}87׬+PҲi M-zX^lvͿ)#h%w4cOM'&DM I vu2E0KVA7<kܮbuƑ *?zE]Vּg3Q,8͏7MrP}ӄ)Y*5,ɲ}U lluikzCEc5 Є CFRO3*= ' 3 Bell_Numbers_Spivey(aboB1簠v ;Ml{ug Z 쁮ґ8ܰܰ _]䰈YϘ9a۟<ӻm Tq9,N9_23zY}{>$-_{I&)K}K;^lгH!B QFZsG]&Kh U9B1,[@E}^NX{]aܨ4ybG805m!.AKvb_-W;˄;bsC^|nsUʞp]#D|'_=Io!IX١\d"Mޚm&ϬW^:4]INg(55;{߭ژ 4;Ǒq^z<_?:ъX"@R>MbX*Oo:}cń`ciLǫCnm}#3 l?9/IwVёV^wu MTI T8ei/艙" Y @׭Ă^kUqo((?{jMy9^X]!3Xp[d2k|i첦w*%6s12vq?A֒+~`ܨѽ 3,Bp)((0H,UM;`~Ln9s%\hnL3y';u2SJ{zoQ,| uɵ64i2/^nQb$)c]b)k8ge51g}J\0 ~9gYZ7zXZִF! i]ŗXi%HCTpVs H85ĝ?Gd+DR J|R_NLEyc)e&aڙE"bNu q!} ;'azl=1QE l^M;&gW^jwCPE-wTbݱ |-VF2&E?s X)cFSۍ>Jv8xI&3%ZK 8p.ѕq3G Gj*Lп~Q`+QPf\#g&<+2$uȭ p7e`(!Znzh~]_;;^W+3p2kBCb,S<ߛi}Hci۴Bev17+&~B"rY?{of&4JcMJf w~ Թ*{d#9*Ej0˽;i_a\XAb7zխ0tש.eU7q*6Ѥr]r|t*[ WJ[dt&. Yi=hc Q3. -؜MǼQ!{ދB"tF%%l}rAr`}HKNpǪyUe_l>`^+1#1~tz($%7YuN"t<7e57qq3\Rr9ߛP,1S]{AOK\~| [2!~lwܾQ7`;%pD`, WWXz͜b~=|Y~JhWo}wmX fT8}}y8EDr($| c 3gYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7062f6bc3330331442ee719da0d76412d11266f3 7ee113b1f7c101fbfde03d03efbb16ccf5cdafae 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1 e5ee8f1bf89fdbbe4808fce9768799c63e3a2edd8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312ab3526c52e89d52e9af929657a44e05253ec83cce