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 ::C5 <$l ]S Lam-ml-Normalization:threads=4elapsed=9.897cpu=18.812gc=0.888factor=1.907zXZִF! ]ŗXf[& n>x렏☢1DM<=C߰U`dV`Pd 9 ΒEbײ@a OEcJ'|zq͂th\0ڃKrõT,zU@J$Tgi>7`GnQRr1}a>ѝ[ )p4BI9 M Pf9+AɩДT"xnrrDlO5> x}P%%bt|MY@M=[4̊F(J*ax+2^P5ah#ZQA=EF}"8$x͎]?b렁aK9uF'2@5 d%Vn K._=g檕R 89Y*[;B6j7>R1qku9mj\01Kﮅ̻Xso`$<7KӌHwy} 愧dv4rRo̓Xa=*]=ndT6x@ yԏIb396-/.> t:e/x/Pah8)~^Ì$..)\ܾSgڎPmul1`{#f{_;~I9w{ކȂ'c\v]l@:hQRT u' OM-uVzl"As$</nxdc ~ykG?g,am@㴫^Aif/*bOypGu0 VMw1-  xOޭ&.8<7kqxk(dC*mp΄="ï$wfԕi> 2E K4Cu8[8?`UY8{Yv FJgYZab1e41623141425c0dc4e9f3fedce72f33069b574b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 1442fef2bd08c12a690c30fcec5d963d75c39fe6 5 Lam-ml-Normalization