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 67tDL ] Falling_Factorial_Sum:threads=2elapsed=4.906cpu=9.380gc=0.220factor=1.917zXZִF! ht]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IЊo$5,B0E>xu>ņ`۠l\rlk1iV{ r@=ɭt\I9tvu9 ,V3W+`  ms ǴtJy_bͪ nXc⏱{jw#ĞaTnygiu%["ί!az_pvV[ Xs$Kobض99ś/-LFHxӲ;GRES90 A_TwK;%=[ ]yF-gYZ7zXZִF! 4]ŗXiɟֳ5n,)e lr^;zbu?)*EZ(iᆹD=gSdxXpmg O^|dd`J0)_4LxA)D(!=☣nW~ XkhӺ0gU&W.Jӏ!{n{A4?}P!#F8ˁ/MF8Q[qq7\`؋1/ފmt.heR`&&{-!(a|Pz's&?{0XNO54 Xϭ NI0 H:0,nY백,,GJօBu ${'fv/C@a%営V\3Y՜l&2w"0i]qnkglt)^$$u7dm&l7,Uz Z{sea?͌:XA&~CXndoi!c% 7a_S7Dǔ8rVԚʁ"1|%6)jU 5b5Jݤc8_kf#~{8yP+9PӤD(zE Dѿ_z$b#(q