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 H+ t ]/ Euler_Partition:threads=4elapsed=9.765cpu=28.196gc=0.952factor=2.897zXZִF! :]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjE^.Z'_Zef$Wh'D]cқ1Ż^k~7B2xH8Bou-]b**ɡE' JMXW18j-BUCS]Ԃ42'1|{{_a=3o Pvụ;o'Pz>v^#gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷VMwS]QFGdyޜYQ;|5+2 (z1{ ,50]w~TME8;r+j[:Wc];j9y-~evfDJ$ Z+MID,gYZ7zXZִF! H]ŗXi%Gg 4%c=yZb+L?%Q5$R{og՚6uZdʾi-\\x w5]{i@-T.z,'r9eO|oHPN|9SozbYڷ5W~м.d&*G:uֈ|+gs߶; -XpjFZi)Y}=ʉq5Y̛x"U*{s!5]kCEGn@JCnlȐɩpg !@ ҵTSABoq`hYvRG r^+ٌVީ1tG8N蔑ь:c<`05yV/]A-K`~׻A0t X5m꘧-H1Ec<p`,ynRj]%Ff!|Xw)g(l>H%vUAaW f> cyG[ѶTfg3X`&)uןd#GT1Ҫkr[L"#6pk +dqfBt@1Ҭ=FKYY YRB2pސy{*\H0;BM>JcX1ٰ`4xʦ=TJ_R VZaz==? jⶢ!z,y`K <% To)}%T *9oโFLOk6F"! ~ϕ(< ܼ+zeH_{ca󻺩zi%ZTNYξ..rBe&mej PEyxmZUlXZ)CG0DZVtk% jR,m:@@BhfpUݺns\ie9P0nWd%3!͐5w8]QY kW*¼0h9 r[m`YQl/֊DTꉈo󒰸pҡ2xACdکt<̼JzօmMa /8΋4ogv6,L;B.HO{$P\ K֗Y5KIK)@ʥ5%:)O}R.ˁ¨s5^FZ/)h%]ȏJ; l9O_:Eɀb~=}-= MC"YW|B wwua\p?cڴIXɀ %]ISJ㇞Q-NGo$4n"_ڏ,u 'O ֋Hh4EJ"Ӭ~@g $d8YgYZcb00d1128c09a42c06279f7c59f7bf840964d9a81795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b + Euler_Partition