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   n  S]Matrix:threads=2elapsed=48.177cpu=79.844gc=3.400factor=1.667zXZִF! %H]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_n#P`2,Ci~7U-WT"qD$@rK˪gYZ7zXZִF! ]ŗXi%6˻aS%#Lz%%zz|&x%zJ11>\bHۓGP|V^jl%zgHMp1閲 9¹A]lROY='WB~DxcpF JBvxHbDۅKRv!X3P( Z@ch9J{۾ z Hl*Yyz[:\/XC+c _ywI+QH R^u:C"]ߪm R+_9+!&7i~'J"q=  ȰX'La:|^(N Xy@q,ea/{Y1Kp6'&a~>rfw߉PR*;T^]y@ ̄C&=|= *]R$M֋4@%3-vQ]2Հ%Ze8:UhR;lxxvmb6\ R_J?r"j 6h.݃D;>5 1\Q~}Y64 VKuLixo`P;דhPU|̜ #S6P;uZNsbxkoѣ9`7&:FO;|:jF֣zi?#sMz35=59Nʥ=hx乿M)4Ԑθ@ZמWz^D?PT~c8|=h' rW̚C%3coRIe 5mR r9YsRڨ;3jNN_:.2.|! #rld2+,U ,Hw.Q;h?z$.ض/UQT Y|蜪jBۧ}[C~׋ܶ _Eq|o#P쇽ǾY`㧇⑔BLg9Xe9,ؼ*臸E@v 㘵FAڼ͘:.BuWu(-87`L/N5EIDs} WCñ{W_Ѣ0N:EN e\35lGmPAX L1>$EwbNߙ׽Ğ(EH&ذ383Mlϋ j2п.A,cIލ.z,ʚ [7\Yځ࠘.Bh]e}@Iӯ7FzbVwSF֑*jΘ68R(iJf$*1*rEiz^@x5jc2E)BF4PK29z8Ae0A{ԚwdֹtlE8[@TĿcw{=TS9; }NJG "9;!KNI"y3*0$OXsc'FEc~Xr$@{wcqӘxw<>;w74x)6}Y:bȍ b_)2I]ȓԌVK!}/Bhdld CPcQ&fHDH&[$Q$@;;g㍻$# b,)%f$ ;&Is FsEð_#;x8IMU}|vNZ ߜQpqW2{@-mj<4>&%q;zaO#U&ԍAkqp͘7"{~ce7I)((Y [ /\Xm.M9D_Լx}y< bc5xY3ڈ4b`k"-s}@g+R=%esݶk_t .?Z:CjsOrѴv