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  3 ,L c]Bell_Numbers_Spivey:threads=2elapsed=18.977cpu=34.424gc=0.576factor=1.817zXZִF! B] ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}!t.H R^q-VDR#)f;E%T MhݸBtֺY䯤lAy*Tzgyb+"tHJn"t`6;҄B!\գݐ-bkoD݂ *s_Z}H󺩳H{N~7 Y~~bu] Z5S&-r|Q݇rJ^|wSb~[iD?Ӊ/hGyb=w^}G.i({/*4#:@:1 G5)$Z!M*6$R5o,jf(@+d?p㎲ԛ.{M=?NX|nV1a=\_-LJ-%E^=,x$*&5C'LPqm2o'ާf@u8+C?M MrtaY[PnL\JWLxu7 ֠t2#P3J%7ٷYZ4uyA3"AIF(O ^U.?˚fxFO#h3 ^VOVw-řɫv 3O?9Gɝ$pBb ܄H{Ĵtݎ@).4F-Um0fRHZB&xgp V6r` N"k)&L<|B DZJ,zފEf,%d%꫸tF.G8P:["0tĹPnEr;4ҸW^dʠG|{_@>[ K'Pd1k FCNu7A,dR," `}dl16?SC7L>*.zƝ5@˄KQU#Tr1L @Uј#صpc״ YXKGꠏx~ Kg-ׄmlpJ]j5F`xĺ"$ָ(;cOV#µt$W$J\'v B" 4@|BPAc!$EtījV97B^䅪&d'>`8ưA2e59wӪٖ)$!HLPy@4ވRbK+X'o%:oN?%@aDlxCPZ,}m/msټƠ a6"H9ThF V9ѓ.h אfgv SJ˖4EMc0ʞV(t<R*9H1=67?{r)I=_ήpJ~Y8+lLf0YJ?S!zYpA&ĨW$㺮;P̰=,'aWUps[6cm${6TE|E`y͹a<ҕJœ$Q`Mn( E"3k/&mvcmY3s0`:e!)ESrT/lZA9Muڡgm~nAz$=_7|>qF}]5fz:Ckն\d*l)Jޘq@"lQDFη?iw.6E`} }*;֠.<1 ˜pSXr!*%JtTNU_vg{E-ew T0*PcgP9E FU@$ ~UJyZ%L_TZ,31*7o2'j\u@eؑ7ṥ%PX$pNJupw0 !JgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1de455d1b6c91c9aba6e91deda1c27c17fd14e50 383dee4bb60284cc7229af5017def9c12378879e 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 6d1501cce1a74aadd14244becb041c4f8097c20a 7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad 7062f6bc3330331442ee719da0d76412d11266f3 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 973d6bd96dc9037f8676681fb869d6ae83013aac bad7d3c315c4f8af04831b4a6b2cb155d2e4616a c0b5decf7346f9ae8d66b5f48791a6361cf102f19711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceefd6b02d1bd05fb0445a305ca5da6f9d1f5e2e1a86 3 Bell_Numbers_Spivey