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 d9 T\ +S Decreasing-Diagrams-II:threads=2elapsed=28.748cpu=44.772gc=1.576factor=1.567zXZִF! c]ŗXf1-/6vR[U G<%tA)A|D)hٳ}np ,ߠܠEW-0BspFj]M?[<-^m!;ci|9v)&6b\,.[, <&@ GvΪB]`|#SЭ-QcYETuFbq(x-Z] "{i: 몰}]z^!.8;QC i e\E~ǢN%:~{]k$@bbG2ɇk J҄ԣ|xb!0{|&Cs`'H 43:g/Jup }.A%O|!u\[ XVTbkV]OKS\Tbo"A烥h'mDq6G~%rƄd;"Bb` E~4yRQ|Ss3v![8L:NҋxT@tu]ڤz%DUo95Puxވ[>gT<y/?ql\_KWz^NeG>'Wlk;JycaޱvP| FSu6KrN naKFַ5|oNSaF͔%kJ |zڰL}""iib@Cv,_P)=s6{5<5[K# ҋIgh~oqĉHg6OQvSD MHQ0TڹzH?:yXz팈b0?3+DTP- N@Xi=1br@I`g(DhyYROԞ+L\QuLQh^q\#ɱWءKƯIsjCowM`Sx}=gx L ]3:+ ^BFj2{dEm6O7c^ݹ#bFN}CL{=zL4=H'F_ QNg(A^lƲ)8gYZ13f9c082e5c2280b53542c2963df57f7b6ee62d8 372a2fdbd210f4bf1ca19bc25f552d04d6366c5c 54eba29bc7244d89a0939143111bce31987e6527 5634204d7b3a8fc4754a23297e39ed38e0659817 71a02cf1a88b6183f35a2a220c2b22294341faf7 7681561d8ea3216a64479cb204342b70316e8c6f 8f405996a75651f5726cf372f46e94f052fd968d 97081961e2208fbd4451328f9c4143bdf6496a99 9b39b3c4931eff0aa059fe41bb2aaa87aa229e08 b36c3a11f544d2ac20c82a0c7e19f29e157d0615 bc01a36c3fc9e97621bac9b4c7f3ee4e1d7d8c9a bf14e7bb45c1bb0b5d454b66f1d5f5bdba53d6c0 d8b591c052c85b1671e1d7822571568590dc3e35 ee8fc5f74186449772f156f8912c9a4cb4ae56e9 fac8ec90e4f007b9008fdb809babfbfb06349f8d fbb41d0aa9e7731b95122619e8a4b9eae61c727a0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 34d45216c9c2f40984859f5930a26943fb2d021b 9 Decreasing-Diagrams-II