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 |' <|d ] ConcurrentIMP:threads=4elapsed=20.609cpu=44.880gc=2.456factor=2.187zXZִF! JW]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#Ǧ%ON=6 m צ7wؑCIӼܽ#C2<Pke]ФD{xKlH^8T >/p.*^\ jGQ~^W:νEy54R!&ShٚVZ&'[D;NQٽ(,4!Sk}Y,ߐGzA:Q`ꐵm\(l+^k_*~pE5o%v 1w{3Ԗ/0mvaH:1+{^r6 H@t=GQ̟@Ja̮{S˻u&6WܵZwYHD?arN;l%[; -$)\ .tLѫP=O>nMD #V|YE`pB&߅<_xe2>",]vǭa<(DY;(OҞ0f2SCya.S. M˶ǫ눯87} i[o_fzWƼx~h nG-*l@:^G1Yu o"; c{l}z06cvliu̾_uvO3ε9 mffe|:\E߿],CgR+OD_ )ˌ˧ _(p34ѧCREÉ,n8BXNwj!5LΉ+I8RMTԭkK]"cٲ vxNl j.y;\ExU̿s?{`E1;KCB;빥M c愀`6 +X7\;yb{j0^y~~BlIB=g?BZX(mWRG W<0~K ʯngtP@{$o}ThՌm#""|%9`l/ Swv˳Mb<z 3z|fLރ]d^fd]d^ Y% {bpvˑUpX]<*m㑈傢x+PKޅw :?& ܠ~q?f[sm[U~GZbv .E)B/#$HOT]b*~ u+CUJֽw"]Hfսٓt^l꠶ 2iz3qj3#r)uhr~U JJ+K e-lJݛYq3_+0ͤ);#&}(ۑ"  ?B#o$OzߎcJ=AX@9CjoȜ5jpO#Ssܚ0]~]/rwۨD/S$:}ȋyj'oaC36] zΒYAqS'=òWbfi&↠},Pǘ _2e_ sXe_`;mV?/8 lȝ#k p1>ʗ2kT>OH镈Mq#܇ѡwz0Z7 k0XV5녴Vi&aCSQB6w<"qꬍ;8>KT }SR-: ,G[;%&B#L蓱ŠXo7-O7:v~ԇ\LoJea])M/t7 ךa@A=z`N"PC b Q5'gX(% dڂ(`aGCU&3 ]Eod%TNs*gYZ0720512f8199a348d395f733ed4a6fec8db3b6554b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf ' ConcurrentIMP