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 W7 L / Transitive-Closure-II:threads=2elapsed=13.398cpu=23.480gc=1.004factor=1.757zXZִF! <,_]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+ï߈T 4+t 7 Transitive-Closure-IIe jz(ܼ2̌FMD )z$:K]. <>'BX9?x` .J"8hM_% ]PB8Ģ/'S [(4h'Xld[߂e^ M 3R /bOV[W_#`lrvW2ČKO$,qwfA0J_-7 eVGP!R ޷36Yk{?.E(۸l?B""hK=v$YF$ M?~w1L3CH<_;.T g#ꝰVBuPtk $L&X[i)u:MrPZZ)\;[YcAL.uX!/p'4e-TS%tF^j4kS~y)r0'@bbc-DLCRo2nl? ߆@?u I1<S:f$hΡ3()Ku] Je)Ń"@,LDm)_U6qҺ-0R0sLL[cOt=pϜ'zW[ʔɐ«@1y-!4<e{sss)a_GKX!r)WSItCUVD7EMvXՏ%ѡcx p閵;hkV&:v=\ xSgYZ7zXZִF! H}]ŗXi%m]no*D:Y^6.o~'Vjo# N> ސaJE^.i<@KR5ɡ^ƖEGS:],O[-jI8^ _4P/2o3'ӏFO!˫:V5O5~,Aԯc9}`b8{qƭ Թ1Ԅ9K.h9n@Mf{ 9S/R; AAP\P2ƵK$;[g X+E,}lu3S[Ə$U L`܃)l_mKy}M&ɴݴ8RkHٗ{FEuz'ceOnf/s{l,Sdgi WP$ǎ0D-FM~ Ju|/#T߲C*]&\{GefpV&_T]djhiѕQ&(#ɺ.3Ɖ@ٗc+a$bpi 4-