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 c+ ,| c/ Euler_Partition:threads=2elapsed=15.168cpu=27.728gc=0.980factor=1.837zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GYaI:e?immH#Fe4銈pYzMDhXs}D W6/BwDL<m!ڂKۈ%7h/#kuzÕq[YPVa3VhN)>@Cĩ1 a&΀"X:14B?Jz-4[G;]ڙ%DK MfSAe3r,2&K\ՑcRTx`(c92MoE2'^X ؼJu<1~CV& LP2*q4Ř?] R5322&WF֝}VNCTC}V~az8)n#Y{EKrlqȔ鍒lipV XLg65O2"@I]xeR<eӻZIs%DŽgYZ7zXZִF! T]ŗXi%6һg)Ig~ pY~}zjؘ@2M~\;Fwlb̊G^rTڴ~F%GJlds4n=R+KX UHId(Q ),*FʐUE װ86MR, `oWGFV2ʤbҥvep-R_N.W^bĤ읐p1f꘸eK1]E;*u|z^3 TUs|Fh2Ma}  I7T9ֱ7_]TFTbLX˘Z0y> sr1su.IR,I:_(?Ѫs'{P!xǵzbxt@dAi֠ C+pK]f9611X7kR}/y9 8f׎fjd% _"d)RN3.ũV^<‰b!t\mg"t:K. $ZޕK%<<б'@K=op1>4.C[a&v"(SMPJro@Yаsb8ie#hq+?gxh,`WŢYu"'ISh&ƬK`b]D:e>@Na[B&F ϒ?TVDްxta ml$nH`kE*_muɬA%Q~PDYV}-{?NDH#^-aZEP._#wQizdd8j;Q֪Zd%]_ޚÃhtޘJx,;9ւy<;ن='\ > k=,+it0^Ifs͉2T  DĈ c|GƃҞݴ#TA"U6<5,[VزB6 \0?T]6B8Fq_\7y>˻{y 7>#бgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 8fe54b879484ca4165edb18101998d53f259d026 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae fe3d3c8b2a587b47ad44872e673f9926ec16a563b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 + Euler_Partition