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 AA,' tL  ConcurrentIMP:threads=2elapsed=22.240cpu=38.660gc=2.272factor=1.747zXZִF! 0q]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcVI0|G9}Y@׼jmdG#ͥ#H>Ob*s-D\Qj)j)]nH y.H~ N1x֜K h@Ͷ>{acquws;kQ"ԓ?]!pM2\|!ث N-鬳j=?9Ia|>2N}).E(@y{jY z->4oB6Sv:*a/Ar&3G)l gļ|TG&` % 6noE9Tp%Wβ.Rba'lud^;aD)K/Va])i1>JIǹH:0>|@2է#cq#*gDj|"~(LW ¶=}En488AvY6 t@v*oeB$Ӊs;ʯ@2䄦ˇaH7 +S 1)^YuLEf^;:3#V/oDJEy Ca@z 8ɾLNG 2ENǯjS^Ӕɱwk痗ī:囟d%5?'aj۴v aO]gYZ7zXZִF! p]ŗXi%HT3+߸*dL`I0Dz6D~Tv([!O /\mk7Wyцp,W&wɫB78=֮ ufП5ʰb׷MVޏd/JGYOzL]m٘\بQ5Fz+8 ҿ>#w?O,*w۳| U7@ D= oa6tu|6K8/߶J vZ%04<Ⓤp6nOPԐz кYǣXBA{͏ڵ׳8 AV/}* Nvki }h>,JƔeՀ|TY|cP͌aܓi n*J\ aH'kmAϬ6zD >4F/8K]|hC0_W29uzG~B\3H8yTGP V 6AKF%Ct>HR>vV1!MR / !Kn8FcEUq8Gfq3w0ଢwm n4ER^~lesnڄtk5 ڄm!^u,m.uF[k S£9QYT)KFK+4vN݋22˖ u A{{(¨4Z؃Pgt7F07NbvE:d _Mé֢Fml!_\C)3X #&t;ZPhDUJiMPZ+G;K]D`9}J賗y)̕ ؄.;؁ҡnM}MU&eY`yoVuO,ƌ~>0(9Tq ~ܵ+#OfX΍R(`FF"N׌ X Y۝3m s@x[lVCAA~jyD[Mw5;'`ObDǛ&%:zR- n/ ev dya2_BlΫ21:e)hT쐹WH6͵;-mtz) mq3л zƂ,AIsRy (oӆ-8A%#KDn*92f>㕳"FĊ(.~Ʋo GdśDv8 P駱gYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 abb52186ce0c45031b3ba6c2704d52a3ee29a821 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c8b28635b2e5a8aa1607d2d9124a98e97e15fd408c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a