SQLite format 3@ .0:  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 ) |4 ] Landau_Symbols:threads=4elapsed=8.179cpu=20.344gc=0.764factor=2.497zXZִF! n]ŗXf[& nTg6 HJ+ h?L(G\81F+Z=_|ؙW~%ŽsG@F1rZM>Y~P[Wgf6sZmg$+^ZHSr*_0ݑ"gr]!<14{,2S !nԜ#އ>h=xY\2aIԮ W>Qd ʗh]|HχB:=H+L4VoMc ؽR !o.=B;U C-w>Fu*cvgYZ7zXZִF! H]ŗXiɟc'od9m1ֈN{y Υ A-9"JFg 鎮Q"MNɴ {yƻK.,0ʬ,IJ9{8w1d\# %niZ`Vd6\e>gYZ7zXZִF! E]ŗXi%Gf{}f3!)`c5 ٰyvlQR^50U)zu8CC4ԣ/w?mL$-GP[0<8wC7j-o(rQQQyWv"?ńCJW{gXWqF r }K{݀[ܘ;kԢf5& % f9V'8̻ƕyY`KVowmq9rLdwKܘOc=c oǶ?DK`9/G-6jT WAL\_MaÐ:m{_!b:J 63Q 804jmY>xZ re;-Ԝ\xz{dy_f'$ z{K/} ?DT~LokYw 9Y̛u2Tn#*ݳC@)81k |ż{k!7=)3ʼm][ $1-+Puך)Q  g!@v:8BAJpH+?ؘ ˲Dw]5w]I2>~ݾ*3pC!LAf+E)$,.]h|S,D #M82tOgqXdY Z;ϐ%x0ރenlRn ]0K$.,<-RF ^hXF3G_n=)g-OԏYJhU85FY DRjW3mJنƖ%FޣT/>@ŗL 0xf(nDl',`2!:(o: wj́[!xfب<(1m2ݕ };ϐ?g/w+Ԁau: /K羼: iQeeU~i9Tnܰ_5qjK2?\~D_QFXڣuz)(y۶U7[l()(Ao   ngYZ8740943c5fb52cc82ff49b9ba9f09850469677251795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 ) Landau_Symbols