SQLite format 3 @ - l l B77#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]7 indexsqlite_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ӺVd>`;Gؽ8n:)FuKȾ"1-I*'*D9 zNx#TY-NyBH izI+:`nDK24*vaxa.Oܹ:oSU DGprnGW6|T\\uyadiS9П]U;oa\ArqW19&,4Ew,(tp$qC,8T '6LyD.D}9 :̻ܭRv\2r9T{Ƙ`23vBT.+ B_,lQ`eh4>hPI ΨPXSJn\ zǥB&z78`VKjH6QRv*47;o+$ A Typeclass_Hierarchy_Basics ieq2zXNPFǜ@nW kjV@ϻC,| 5P2I̓j9)IO]O stߓan&m O\8IWm} +}wj妎k>J iKSm>b*N~,>mϹק*J |.5Ď ?)RA|"x ,8M:3~2cND&GfY.dkD2gN[Μ(@xrBm͂l%ey6=EۜN"zcLpGbzL~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ƽ%#5rS7:k~r!Q0қUŪEe8J{6jwHT h%8ci3'Rϥ:T\6AL& ҄t0,>_!*b=C`mw@Rbq+GAG,:jvR݀Ku