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 o+ < ]/ Euler_Partition:threads=2elapsed=15.281cpu=27.952gc=1.032factor=1.837zXZִF! @]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +lJSnd]fe>KE":um6{XhC^mp Շ^r)~=*l#0y"IdXoD>Ћf3{ S=TeE2F ߈) :QvAutD?+\~Qo;?v̫nt\iW߮An\M1p0#;}2#S\:=UpnjMn#eM&?;< LdC&8,\ٮɒ"?Io[UJ?yxwp#!5R1G/4ǥIx-(4.&v B-v _VI95AF_ xrVrv^i>}2.y<2Hi>-HА]ZXQ.*њ8` =)PLQ%SgYZ7zXZִF! O]ŗXi%60nՖˆӦ>АFqjBEs_ض!{VȝvhyDc,^*3l:k iZc>Nʉ\+5"1%?$7dd 4&:rw昴!e}LEGk0zSoPOK29Y5QtjBxGV#D (/314|:jp^{3뒓Q DoV'@ޞກpCzHѰ_ƃ^=20踵└"vfnk T&Xݻṵ}SD0QSIKcdOAsj荂 |l>"=ˍk.\季?if@f*w|RKC&Ƣ.t65%ꈥ9SeBFm|; Q6f۸O}3dAwHBtE 'Ph)ndlwOT,FמXS~ ]N:ڄhR2 eCkU但dSSyݺ ;K( T+iqCt X*eNC98TbF ERv`e<[rAowgzqyUi"ɲvIt&X :V!~*sȋWGqKUT7T|7'efōZ`v 9s(cmȴ..`s)v0FmCǁn4cw4~b NS ~gYZ9d24232e99f2db8196792283077d7d5588beea8ce3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 + Euler_Partition