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 |) T4 ] Landau_Symbols:threads=2elapsed=9.043cpu=17.384gc=0.764factor=1.927zXZִF! ]ŗXf[& nTg6 HJ7R89RlcWgBi\vZD5Cja{'2!~VƱckvӞ[Ey'ٞ]msoV,+K^TMgYZ7zXZִF! G]ŗXiɟc'od9m1ֈN{y Υ kh`ɪBظ@̠OL2"k /gj(N=( z"ݹiٝ =;)rM ؑj;imj])(zGiLgYZ7zXZִF! >]ŗXi%>g[/V)?n 8uvT9~mIlzּ5 [K,x1{ZI7YRa#IJfF|fJu̹1 %},GQS2=+>`)>'IPl{$ե26jco<tqmZ}E,\˗gG[wەUCK,y-꽊iH, ;Ʉ3CE_)ވe(i^Vx\0)_@I EOX(MDZ9:xSܪ]M KI"lc&V-~,RvEXB&Rj;ӍE+e>)uqm%,Ǎ ckp^9wC ;U?vNG“9%dv)~_C?-R$;)ݕǜi1Zn_fMLˆwQ'2$L D|T> T0,»lDJGsrszq\Nj[`^B"Tw85( \MϰFHCY?M?bu+4]zj2u XlOU];w@r[{~xRhV"_NP;>ggU戞S A0E- Hgذ$\sha|J@yTlH?~]R`4njjd[oT)t#сoS9Ďe%\Xk?KZDFvᇙU:HФi$"}EQp7LTf9jrfYݗޮ s;;YCu;w2v<4 ;T%hqj@K]M׆Xe%O+IXO>@Fs*;"5;ZeсAhU2.h ?n֖VwB.!Ǒǖ1T).j]}#4gYZd0d6a56f8bd266109bc924234b3788d3077c24280779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 ) Landau_Symbols