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' L$l ]]List-Infinite:threads=4elapsed=13.061cpu=48.680gc=1.712factor=3.737zXZִF! ^]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿgʱ}=f: d7tb*vPƎ!"z' h&x͐UߘJHdFrd Cc7|-b0c3䝏 k!QƯ'|{Z73t7W~'(mw*|VMi4vF1hAbBby-/'{}ꎛμ =]{^]O֧ ls&ERX6#}`{9>(m ۂVB>e)Z]e拝6D;Oq@`]jCC[,OX 04HSRV]1?j7PëJִW|_D&~68;q/;}HA83߽1qh7UۆCP 5^V/wNgJ:1 .q Bܳ(HY(zI0 }1]P96W#?cæƈ ]@ bF2mpww٤7Ҷ ys?;\=AtyrfyKS͇(B,gYZ7zXZִF!  ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!fwߵ_.4x8}dYhW/Zɳ#=t\K8Ճ/'JW6e-^/(3<'LJkKrC0O_6a$8}M I?u|.FSĂS`ǃj/\pAhHa5t>6Ib>khoBTND5zR<'zocVZ),  EMgYZ7zXZִF! jL]ŗXi%B۾1DNvd! XR.!%;6JwExi=ڵҠ20R)ڴl '< #FW>ƲFÿ/-cGHO9!k{x.{CK"oAhCB%>Ry\ޯ+5uF >yp&؀/b?3%ΦfB<7=/]WYu)!;Sh@Y80Jsh=6/YkH0Xg+cuovځbOiiH uPdvr:UeS[_kV/`$:[^0RN8Ku=BP/P ı5-=P@IώNEЛO\:a0:L$XZC)Mn-^o i[&4"_ ?{1*%ZR FXxBP!ݠA-> Qhʞ6AS{P 2*ƅ7' q[%Ն) 5\ L ~&4:aF ]7_EQSOSHi8A I*G+\i5'[KMnD4Vw@`u)Hs*"WSdVr2ӘV tsӞx,kv10C( lVJvmH)$Ew -By.߀x!Һn/i}ݤ̽LFp[U)t.7Rx8.3mulQF:\ g@mmP?ܜjռ ×wB4 BOhꄬ~/̱<'֟eY L%Ljmʅ};-do}wY5h G^Zt˔a&bRYm1z: NqCɛSn5p-uϭ(=ecfAO"*1ytT3@V, uDi rBFbƮo)ڑtWGgK+&h9 k#a{𲉆)}*8%!{a "/ S0Cωl6kd7X2h ;YU v*bU,Ӕ %\R\R*{.<)˧7 xOl5"e6S$GK$M~R\tLz'>Ay˩Apy$ffgIY7͛[ԮąϜ?:2(c6u蘅w8,PGYQ1xľ%|NJStp YSys@A5YBp| )4\% rfR ~ܲ;