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+  % HOL-Analysis-ex:threads=2elapsed=23.173cpu=45.768gc=0.460factor=1.987zXZִF! 8 + HOL-Analysis-ex]ŗXf1-q恈a.W E 2kK+Vg,_w>H`aj2'GuD.rsXwŝˊ慙BL nPpDE)lpHz-ZM<=}V__[]r>@ 0(C2m m_~?H}3:z{ EVK |{* ;VmF dVS5glPE&@}mm,$SkIXr^DԆhvDV~ qJ̹W\xxӜ7 g(0K+6pm;hKJt%ЧI v3%gxۯ&k\&;fƅg$v#bChӕ;u0R-!wyN9 :!eOI&av䃭+fߦ0b*~Cv1e;ѭ_>%Kj }%Ʃ.SeRL3JZ̲(2Pr5fn8c@sZ4  6X>Zym"3rl~c<,¾s76G΄\+rvfۧ攠:!>%cb4ZˆX Sst<>Z߽Ǣ ,5HkA䝐`BگD*ͯV]M`4]hļ"e8 3VS_6+_mVmxӱH_Za,˥ypb6u[e6 @#F(-N2|[j)n)BӗÂE V*n_8La&2yopK@kRME䝬Dfljb0JhQ6 r_~t]1D(Tܕfj5ε6Pf('qSl]h?&b+썎1;( A5TtGѴ-U q_gYZ7zXZִF! n]ŗXi%JuKliEsq)0'ߟJEvU] \<`;kWfR ";bwuCty^:y9 W8| Ы$\t]y0vz:GUy%jvU΢~,6.؎wu_ T(ݽX.GRnJ%⪣\at+zzo\&CK;X5ա1">L \~_f)lQZZӅ]y;CD/RD%@Ax]Ua[+UUIAW܍TAl*ڲ73KJD_ȉYʖFܥE#k"eluQ"gql|kfY2ԃH_)&yS ͫiX]{d̷X⫯ ׻ҹlQCCXԁ`e$͕Jaߨڢڶe/^Į9de#ǔAꢥي]]|[Låf EH. >=bϮIZ!PO aJށ4oº}WmkI8N8쬳rۨMxWHX{a=̭h#aej(FۗZLY-Oh@7,t5sz=(7#P^U8{0YZ~`) QOٲ̄Ժ/0+Qgkb8:P1$aO+Rm% ASo.ԶUbeg)l *mCBƧU)Tl0݃3M0GE?& rC1U[ڕj&yC"`eXbC [SO' 70]eO>%=Tv3{ZWLq=Z5