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 :7,D ] Falling_Factorial_Sum:threads=2elapsed=5.294cpu=9.724gc=0.272factor=1.847zXZִF! h]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nͤ?1oC]4z@5Md@ Ma/TLyRv1iH#m9F%\9!#5k0qcrHb%"p>F^l׋Dž4dCXbs6xBaa=pNx*|t둊#ڣ-^]s gMYCer>J^?61vma<d'kL]ȠjZQ5)fz ) -t\xw^BVd%2vDGڴM7 Q0O' ܂'*gYZ7zXZִF! 4]ŗXiɟֳ5n,)e lr^;zbu?)sz-:t >Va򐺖rd<+ܩ<Бj{&Ջ D/fdN,A[96ep;eV-S?^̧ q~L~K 6$ CD1EXs}-۱gYZ7zXZִF! (]ŗXi%>gI} -'̲D?ޙ?NR*lg %/czu3?:{T.1ހD@7s3;m(_8mm|Kfi+,YXQhį.艶ا-&b: /|Y\8Nh4zPcDH\3S݀:~zӻ{{rŰM9^6i0;aU{ U挕q6xm:.?i^ʕ}w8sA{֒+EtH釳^ \+)mKb4άQgYZb92532db0c2ea3ac8514cc81a2e49701be1cbc60665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 7 Falling_Factorial_Sum