SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  # L| Sw Minimal_SSA:threads=2elapsed=9.189cpu=17.376gc=0.512factor=1.897zXZִF! .R]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒R79{ƒR/]ֆxGsq3RW%]r]+YB&i+MŠoh; AL}CJkܐY"AX3 _ٕ`.-{r9x|UDk."K>`)r7ᣙ~`^։h`xCb-2T6~-CRkQ46ʢ`;%@Sjcc9Vj켤/L0> {nk }꫱~vɆ96Ͱ8v8aYP)B/kg܊ # Minimal_SSA*г֗`4[JLpK m wi|"i Ґ;1[Μ! `xk*)|xcpVy٤a%)xNI cG +~絾[dW9csCx :/r3- '(vr:Euh7X둂sŹ>OO$"`'j*1/ҋD's(I$j;Yx> pL56`V뤮zQ9krڬ ošiGާuHy%-mk"hEȸ6ݫT`lKkğDd sAK̓kÐr V|Tx:$5R9Uܐ/UDe#I`?Yevf)\ g_gYZ7zXZִF! 8T]ŗXi% cU76{sj1_CHjOl] ri:N>`h8OwaM6BHovME i؈'hU`пfDE+. W70?!OМywRfo)`xʩԫKgrn!.`1vGk-. ťA vIոvb*cx&#b%ɋ\6wMV#N20;"/Mj(#-޼f Rț'-|e4x}W,t3?T3ee,WJHJMFDMYmF\ku]1 7^ D[)x̝]\*n}R!cn=D- 7C74caAs d;";S܁1'4Qh*:,h:1B^x K6}Lk#Y X/ QӥpW lt_ ~ۅMmsx]|QѨA&6xԆ:CiM+Ku~t hUT _ NӡDiDf~~Y|TF]s٤YM (Aͭj{Z] k{ֺ7Q>nxf~iUR7Ypz,z꘶ږ+P]F kb9cahxvpKnnwЕR=_b@aP͂TZ%o6yixpطC37ۅݏɂi}yD=h*љA%#$':SE42];GȳքQCؐIoi_Z|V_K@#EGba]+oٔ8!/YnKn!Agϛxy@ɌǚY(B!ƒ\2tѯ<.ZplgYZ6fa284faaa50b229dfe322a822c2bc9b7894c7ec 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f7413743b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 9221adcc8dcb4d328eee3595ffd722fa0387be51 2fb151f0fc1aa6354ed81bebfc18ff19269b9867 e9d4aedfc88780de349203823bcdc5a3a5b1a7ed 92ce580799e626eeefc7a96ad4460b3e5228948d