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 `) $< ] Landau_Symbols:threads=2elapsed=9.695cpu=18.484gc=0.924factor=1.917zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;c-^J$IyN^#?E+JDlvIF=&?=7zMވ7 }*P~Hjd[Q 0 Dc=@.i >cL5 s#6 Q~_ͮ2o8FC?A$}c,q6AHސՊ cԚ!a}Foֱ΃~*!},|r)զKE@B>7~9ĽJY}!Ma-*"o'SX|LR|Hh(%W12+C gYZ7zXZִF! G]ŗXiɟc'od9m1ֈN{y Υ t0 夗H-Kl Bw`xQ L}/,!lfb4Yj*AT#GAV]jfiτ-,:/ޟgYZ7zXZִF! >]ŗXi%>g~yqDO9#,vʦZs\wW2RwtS5@®bl)CÜ4'C?AAo67);GS$:k{ Twc 116>. ݒ9RUE/sEI9d|}ƚ1(`H1N0ɉeV$ MN%Oۢ*AFafʋ$;'fo|!ݵD%GQR1L[':Aj?) s \"½c[&B0u3 7L|f[Bo澐fģA .rӢ!)| RڰDw~Po {ͫ_  S0 {KžYQtm.Uʭ=b_8L9bV#aݢZ߱LZo~I3 ˊ8.tky?lg! ,*>`f1ᜤfS߻yeS?w>Y @W֒8ֈʰ V"~H;\u24jKg&اi3^/1ŸeEZw4\ À%?82Odn.(#Wr x,Woƀ ^|݈ASf7 5߽t۝ׯ^K2k5mv5Q~$2L;QFnX[8Y81StB!,|ʱµ Cζ30;LAXd ɝZ{2 A.lH