SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 }+ Dt4 ]/ Euler_Partition:threads=4elapsed=10.073cpu=29.532gc=1.000factor=2.937zXZִF! []ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +lhUde^֞T]MccX:pk^ՙk=u JfZ Υݥrz=c Ji@f3T3.)/:v I 2USr^ bk]Z5WL1~›rj~oQKއXrP̛[!q, a rhg9Yv#T/i̿o"#X<_R}} >?+bIW. i\+OyߟDOr#9 w64ă 2D0V Y%jMsZsr*?{pߡ'%iNZOR2j ǥq0ePLmL'5\蚣𱮌om\+fx3nZu"RDgj4 //MyL׈;}L1;ͻiQ%ɢgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V%7%7=5eB~g]=Dkհd-`yneذHM@M|&q_CkU90ICL(sw%L޸\8Aq %c+N?gYZ7zXZִF! K,]ŗXi%H7ѵl ScĒb&"( A-+\=ƭ;v*7~@1 =1*Ȱ̥bFN^zO蠢P^[wX* -2Io:SF 8}ʳfcQ*O;MŠg<8,լ7eA$ N XѮF %Hn!99ĎjRFU+~rX^INLT Xf۶.d;Yk:[R]2 <*|,I3N[o"0cu aٍ0~d|67|kue8ل\e" Q8[26VuaK›oʡ=Z86"\|}}b@omEm&OL&R}|u&3OۏkJPv P>y5@ՄR))Uk!KU<{>&DUJ9XF@86^x- ǰX(=vpFV-Uh41P{ cgIC'oJ6BrաuFV7uN>h3KZwES뤽DE3rzIUEHoxQH!}&{&$IG5""9wS: e 94l(:4E"ZZU lWߥ%+'|%$᭡6,'F{bEHDQ ڄ tJEd)e}UxFa FM!:=/_(,_;`GYW@dq`B0'@M{tؙ4 )70BLy KAgYZ7b144bf9e7218c373aab3dde23b4345856555f46a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e + Euler_Partition