SQLite format 3@ . BBh77otableisabelle_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 + Lt< ]/ Euler_Partition:threads=2elapsed=13.949cpu=25.796gc=1.076factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{n0-O37WPj6}GfHMPukܤP-,S) 1PpcD5֮GJbΦo$J+£ur h dHsYX^ppF;SxV Y ʗ"GH7*H:{*-@{kh^_ik{/HV:b^<:*}VW+pcq7jtw/]9\,/(j2p_10gm1W).8눯|o*(d-(rB ag-Lm0 KP,!iC}J[DOSm2(%?n\ŠvJ y"X+o%iO_ #c.bJIauXPSx$!; ~ŇEbSЛ<>5і.H?v6nRN4Έ^PO EY RyƯo5k;P;}TOIYwg$bōZ M߉_=l&j',jTS:U3),JXM@]9_/0Mre.%t7c^R4DlO |Oo bq+Q' {"i[0dp_TF2<\iA.Xw+ :<.?侗/H m3 ok΢_OO&"f v|WU/=.9_荤g}XsU%e͎U֠%W՗=fR*jI'~PSaZV趙-"C=Ȁ{gٻ׬Phs{ u$>)_J] ʑxĄҲ)drݺRJeb;\+$v*-ʀv> QHp-4Izh*T)Ef5D8U*Z@V)KF3G7M}QⅣ`?}oWʮHT$ m[=Cd v/_DyVCt·b(#'ɗBb@zQ? e`TtRk >YA>/kJkWzA2G2\IsTwJt?$7 "JP#tYk)G8m"-<!sW=V*lzh ّZgYZ5ce09a3558a62147ef3b675638cc148ba357a9078ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a + Euler_Partition