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 $) T<\ ] Landau_Symbols:threads=4elapsed=8.161cpu=20.568gc=0.884factor=2.527zXZִF! U]ŗXf[& nTg6 HJ7UB?cu>gYZ7zXZִF! H]ŗXiɟc'od9m1ֈN{y Υ eb0+ B558Ĉf\> 5&)y𭅬b&/ B$H)fϤo$$dxK"B(e}nٯwgYZ7zXZִF! E%]ŗXi%L S=&y#WMX@99L3D3yc<fqnB9RP929Jm5qX7%kd"5`a.ݷJejC%qFCAK7GM]n:>cػV?.]I#"?\v0VӜLNu7B74 6] J751t=˩‡`o1p6w]̥'gQ'>zPdpiQG,p'E6%iUE%ٙ,Ļ'.5䒦D: cd1ms{TbWrxF>اECv-za?V1РQu7Df$/ˣO8ţQ65Ώ$6ey^վEQn:%5Ll?Dsmm5Ijı1ۜQ}<'Sb( *^k0rMmm񛡚P8[C|UE9 $i9!;/bʸO7C2iYSZ/#Rc4/uX o7 ?u<b2_Ji-j/ͦ߹vSCq ҬJ{#їGNJ}*3b񈼾%W#9uĪp^V{`En:[-PcetMoz/Y*k_V?A 6Ýl{u{Sw&<딀hȳ 䄩=f<5YnѯW|}HM=6t_*5}_8nx(4[1 ?=ED9DvWGfcAVݝl߻qFRx,$XYM0 V+Xx^ uD$ל1fNq`2L T1ʅ Nh"e{@? ٟ ]m3}r3~y.|,^e!]!z$ZE:kEI?dO_0TyaԱ9¥zr~jot=qq:E.Mj(R?0vedv 5"r 2$Vq&ێC78A:'·ur^^Uetܠ2Bz0Xm'(՚ԓ12O|ta5 BɩF:ʱ_u#ǾW|cb vrsJgYZ59717b0537167ad786d9e3e3f367cc0f4a1ece79d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c ) Landau_Symbols