SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 FF7-4T |] Lambda_Free_RPOs:7zXZִF! A|]ŗXf1-q恈<-¡$johkX2I)']8PI bƫ||.A[k uWCep9#"@S=u&}Fo_ݸvl|$ /ڙ~!7WQ{2?4os%&zVW:'u+;[C7/$|M5rO(O|T2lg7X0 X~[\뒢ts1Wk哩6T^seu p./bhr+},(| BYWהNs̈́#X4-ZҊU砑#[wРq+7|dLtfa~IBd t7Kr0ޟ(ѾcU:")4)g,GWݜaJ.`p9+N7*LQnðe#r(ٞ f,E#foajçQQŤAتԦIB6x5uuxՕeͥ 4-kk [wB  #R@^"_O?9s+%\_N nbo0;o$i/*!'h.4U)dXI%оYMiACː?]̝_/!6aKGuXqk3"$~x9J=@%Lˊ r1$Ϙ("@֪_rnYXւr> C N $#x,_u0TP͖y5'.A_ cЂW(𓏠hIDO9s.0:('N}u;@7,gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"Ռ-R]F#eD3y*SZpt-38}RO4x` cKp?zUϽ٫]Nsoe ``Y ]&2">aԄVȕ Eri96>!|^ ~¸~^ŭ{ة.$/i{䕶BȪjR"4daya. E[4gYZ7zXZִF! oa]ŗXi%B|F>+=wlP0h%_>ERHWjgSD{LHC*ʗIZGā'ʄ9N9KXς`caLS蘟 ov@c"@JLx 2FM+$njM6S|筡ډ;͔̓k>"fVOL餍Xd^~C9ҋm`=KK9g}}u)W=nV0mMScͰׁ&Y=%)Y_l(%nmVcS~kdv`j,$uȮ|7}CPZ/MmO6uYnԵλXK8޼RF1ڇQz01|"Ꟁ5E ˬbM,X3373o|6DoKc~AMȝ]Z'o-T7D\RJgYZba9e46b2a753e32590dbc837371962e1ea28fda33853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f - Lambda_Free_RPOs