SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 __3 tl$ ]]Bell_Numbers_Spivey:threads=2elapsed=15.664cpu=30.104gc=0.876factor=1.927zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^NV&XGHa[ /$ _k²A2^"恌kDv 98Ų7yX6.wM~KiE5n{mP`B8XSH< ̢a&)wË ^mq|e[cJ YU`w1խec힮XD$QG4TdBݍ+v0 h+'ڰ1"v)CڥuroWZs\] V9ƕ] j wZ=AAdg`6"GyYk# ]!&0DIvugr@x+#V=d'BԀ8X;.lKD7O-ĀH}zM hP0\9`O'!xOϱgYZ7zXZִF! ]ŗXiɟy<qJL`:n|7d.IfNa}喜L.BiJ ?٥)r4 ܩPM-d;~ }J>rz#plg KxFFNmh`cͦfzZ4[aQZKA igYZ7zXZִF! V ]ŗXi%;@V\*nuB;نᬛLtF j?`KE` ͐pѮ5'<"Lڏ iÏbgA4\EվObGkxi`ɴk͵kf~^M'?O|қǛ-P# cN|{ZI25+kϋSG~~z%S!?gs6vD4f9D]ܶ/ە j›~lp9Jmvo $+OJkaӈ[QmS&>Sq!= dLqdH%km J=lx0O2f@c,Vrg0W/Es%'<Q;#&g)%R($G߽aqodfpZUr,@F 0@3%ߌ oF'6_'i{$:)4Ixn8b>z,C›uσu9O]!0jJfrEWÎmC6vXI!h0ɡ5c" ǘU1RJ{Q1z6Ưu:;A?I?jMS7;O~j8ʲK(rm78`_>MF*x`P+:8:ug`zܱ,J7tF \w|'zg e: *} $.A".ǀFit-Wj&g7)ze q)CNnep Xf|*bAISK[LmOx42oWG tO7biv>Un2Hu=p/C2%1d>UlnZ3^LȔ srEMЎ is\mWOq%6f$xI_tX(}rGYzwopj$33"TD4JG_$PJ"ZA%ΣWt1Y|C=U.#}D`Z VCSf'}*9mQ+(hq%PZqrJ*oUqַy N`W%5TS_LZ%\UgLSxJ2jN}p`CzuN2MAfD 655b<ڽǍN55 @_3dWS0ʕ\[,z{h{HUApڞ]]$Hw/6gMc0<orC{F[ؽ' :XgYZ7fb00242f35bc45b23919e95a6ece1389cbde6302f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 6dd7123fa75097b18d3135622d27b8f5daf5537c38400b3668a91c32227f6e9d6781f0f9bd08753f 3 Bell_Numbers_Spivey