SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 Y1 dd ]Abstract-Rewriting:threads=2elapsed=31.974cpu=54.092gc=2.672factor=1.697zXZִF! )]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'%9^FA,( uƚ>'$=܅ad-':v'($32@Jo΁=ű-~T˟)HDujw5a5ʡ9i ڱs:/,^C UANaDƐu CŎ'%߻+5@O3\{ej՜eW֋X!MOWBK+ۼPN,ɪB$< 2+'|+3pq>pCSJÕcw-0YG2דuId彉É,G/!l+7mu]VS}J }dH%$?$# G`֊_Ki>18J+SeξW𶸒X뀳H0>w'Сwb$JS{[Dl*i{r 6&+aу eغy#~@sxJ_sO%ʱixKwދ/LPF'-Cۮ:)տ8N-~r,odkRXm@}T=/ձQn>c}%|3-C!Z#m{CϚ Fo˜]A̛cKS~ H ܏KcbCO8\v(3lƼA-:??0b\k.Ӗ]O ?GLspNuO2:f6 n啲xT^Xƫ0Wgu!䨰SBЂht1JQH+BBOnۅC46Fr0`@EtS-YÊѣOރMw`9lzE/;^}r}F$$L6΢O`P !s/+%z{41XV8O` 3| AoOE>jfN RyBҮj<)RhF)CDgE^!B5 #0 'q$@?6 " ɀ?&f&0r#Hmej"֏9GyiyZQ`'22%ODACD3ITZlNU'r`f-#u<t<) <ǻT԰&`W~+(j1b M8k O[PC&a gY-Zf|8'<1q$Ӷ0u=gLgEjLO[M&> wpɢx.*Jpą}+7%cxiwhD¬.H:{Ͷ?p^QԘҙDtȆI>-vؽG+vAq܋B{P02?M _%iFCoAJI9,ZaHMp Te<8R"99NߨNszl{eG{f#6ã/XXL=E$9b,ѳȿi)^-5ΘG+