SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7A , /]Typeclass_Hierarchy_Basics:threads=2elapsed=9.734cpu=18.196gc=0.796factor=1.877zXZִF! \]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I*' *D9zNx#TY-NyBH izI+:`nDK24*v axa.Oܹ:oSUDGprnGW6|T\\uyadiS9П]U;oa\A rqW19&,4Ew,(tp$qC,8T '6LyD.D}9 :̻ܭRv\2r9T{Ƙ` 23vBT.+ B_‡,lQ`eh4>hPIΨPXSJn\ zǥB&z78`V KjH6QRv*47;o+$ A Typeclass_Hierarchy_Basicsieq2zXNPFǜ@nWkjV@ϻC,| 5P2I̓j9)IO]O stߓan&m O\8IWm} +}wj妎k>JiKSm>b*N~,>mϹק*J |.5Ď ?)RA|"x  ,8M:3~2cND&GfY.dkD2gN[Μ(@xrBm͂l%ey6=EۜN"zcLpGbz L~x( Zw09"jN'űw\͝@bFE9IYI|LT?@~ ^,0M ipږ6j3QbiHWKv4^-U뢼4ϡ˺6/ym%GW_섾ՒDu~ދ(I@{x=kx4H-Kќ8)(sKz,+&E/R33ⴷ{akcH,VЯGr2C__s b|'7̫pVbL|mƽ%#5 rS7׿:k~r!Q0қUŪEe8J{6jwHT h%8ci3'Rϥ:T\6AL& ҄t0,>_!*b=C`mw@Rbq+GAG,:jvR݀‚Ku}oƹ>KA4O Ňی e6P 鶲V'*B_{NzxmIv!|Sȶ=qB/JDUe~i3>E9Ųf s&h<8Y!Awe hWw6.f" !w D?- ;X'B[~k۫R}yvbh/\} ާ.1a3dhj|L߻/gYZ7zXZִF! .]ŗXi%4&->ăYX0ڨg^/0r}d:G -F3N:(x~SjNgEJQ1na1l?"9?Zq6RkȢr7i܎"9|/pf턬|/a{Na{ԗ}kudG$YrCzYJOzKYIvBVBϨhɬXc]V4.=Aux!?6=7KI#6=_ F[5Eǯ` Z v&vKM@߃%mޫ(b^'sԢX] y}B;/yŚ |Pd]On*gYZ0892a5fe5b4fab77b2315001c3015959fb3b0a7e 0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 923347dea834937d0402a03359cf28ce8b41080b 9464c9a16f8a4f18ab470863bb27964030434efe 97020981c6aabcd5f9a12344194388cc00a68b45 a6d881014016ac510413e96c94577bf126ea335f caacb35c29703bbfaf97def2c6a4d89fb8afad08 fd2b02dded527fdedfb330e24b0df02361aff2bbd38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a53b50003420577ab7594372d1ba2bede40a9f38e9