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 1 < ES]HOL-SPARK-Examples:threads=2elapsed=18.997cpu=31.752gc=0.820factor=1.677zXZִF! ]ŗXf1-q恈׍ V$*(7e91z=%D㫝^ZŨᒓlo1=w@ Ǝ!CEעp.aLa#%JXQ\P1} _+S* a3Y?;VαP5ׁs(l|03r 1 HOL-SPARK-Examplescaߎ⬔44S\1̵EIfĤ]"ou^5E-a(rq@#w\Fk;%?3 l̊nlj*<9;ZFk 2n80mֆ '8[54-]B x"N*W̓| eo;]eꣀMd F(^/ H3mB(|jX%gV >]vw d1(c aanF$nn:S)'112*|8%W޳kpW FQZdLt}bz"^F_kA ]27MBvdC<''ugtZ2V$ 6iJZfo fDb6M)46D F.tl4syn^qp9Ǵ/(߆ D^ؽuzb)ȬɐZzTB# @bn0Cek8=>"˨ PaJ\╖T- ؇PCm]pޯq(LO `T:0M(oN9dF.@r2 Cga4RIif*Bwm۾jOC&"8:C4 *o:}i5G(1w?6km%*[-#4:(,[:6P4kuh9bOVjAP]2z#.eYH8=ӡh7:x(hgń51유tr#*02)wY$[ZPVF\rhXJMXՈD>0Xc=Q(G[Fyϻ S/RiqpE"0oZf2 No62|-Ǩ:0,~PTbLfA6CpPfJ09=k>LЮ02 p(VR}]wN/ &}pǹ!‾V*BϽŠA@"_SE$_mȫZ%8 { گ#4ӏx`/!RΤ*]vy|D,A51iX|~T؃W rb)1}9zW$]_/!7 eH -CD|NZ'Yu->Fg