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 W3 D$ c]Bell_Numbers_Spivey:threads=2elapsed=19.619cpu=35.676gc=0.732factor=1.827zXZִF! E4]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}#橼oMr.Zg]w/åksٶa~ ܇yXj fyqFbs77 66qM{X"5_ȉDvq4٧,pi?GU~+ Sp:^i5 F,#-oKJiF=1_$tnn'=FpϗovGLo`7'`âgl YohLSK1?k@)T"^[KVO38H Qwbbb4xl -lے[qF+)#tb:e2Խs!폚WFu~ }Vp 3 Bell_Numbers_Spivey0/iD.=)XnM}U| vಠ?7:y ̿#WO9i97`PZW`2)͆PMz;UKU+kMxU$X[[{`$VJ,tp}1*$*)\/x] a|,0:^x۾)\qItF_.4UXs!B`WR\ ?x}ef0u0$)?$cRQHNN"zD9R|G5B[3+&ѣGh[v OފC\եJDP8uֈ|kҴ`h:^ibuM` 9ZI ""@-Zn'Zoj|Gg #5# $9!*4Fltc r !2sd>Dd˼RɄ3GVHfj 3C8%9 Yӵa(<,:.-"JmNpud<Q"8[:(MgbZϾl]1޿;4 |S,وVZ@vCvpDg~aB11HH|Fr[%{67EkNZn? ?QgYZ7zXZִF! g]ŗXi%ރ7ȩ?jʟ 1bU*\zhp ".N:eq2VY/}@mY{Y\r˿>.3OVc=ba9S_k ƴ&n5N-%҄DZ:J| Se:gE9Fwŷ@Dp.cՖn5&MO00k#-&?jho \Mb i[t/u26@G]"!t :T稴+C5ƚ=]],!y O-8VBe@䐓^g'tkݥ ٶ F%bUɣޅgװg "5G%8ҠK٩rGsS۔/d6wؓxcKEѕK+=$s3ʜ)frmqPo1 եhG1\2lqqW8gM;0ɣ`8]i~՜idە M"@Sm_*@4Ss'߿`۹MPA׸ÇhؔPx3FbmV۪qxn=(mKyGQ+F 6A]+aG-؄nf3OZu Q猉W袉T**H3{lZǹ0.wBd:9<#*{DZAWR1'ܔm`?'3IPl7#F-mC8ty+?gT>^d%_]N1h,p9/A~xІONú!2r0sU^oMk1 bչ؞' ϮSQ*&_fLg] >@f `k15㱲y1 #@PkȚ9M8#!8*N|G9o5A(ddDžL:|MX[}"M=c]J#8(tn(waׯ[Tm 1Q;gNHq47lhW PrC7$KiElxu }ϽH3vt xDݸ"andPl qb-\jY׊?_ZE5nɌfm2jaX*Ac}LyyT]{%^ⴒ0[c<#q2STmtzg. -=*KOiג~WP⿫+kw|p?_y.f1f*e%K7BAO)2ly&WeDOip>2U, ڤ捚L%e[߅[Y0 %e!i:m!5*Z5R n|H/{8:v+y 3uIbeR֝Wδ퇠̶x&?%hqg_] S GgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7062f6bc3330331442ee719da0d76412d11266f3 85d794b86cfe725588722f5120e48bfba0313bd0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac c0b5decf7346f9ae8d66b5f48791a6361cf102f1 e5ee8f1bf89fdbbe4808fce9768799c63e3a2edd878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 61801de5e43545180136440fc3774bb7d9933b293248ef50e40b6cf3beb7dfd897975d5101d2ed2d