SQLite format 3@ . YYQ77Atableisabelle_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, "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 dd7 | ]/ Transitive-Closure-II:threads=2elapsed=14.202cpu=22.876gc=0.976factor=1.617zXZִF! }]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" eS s+D->q=rn՛9,u=d"L@]*VNL>O?Y~a3:Mn5 ϊPRUdŕ)u t|bYS` ܭa3֠\RN5q9C-/fx(؞_̢t 5_uB(O2k 5ODigYZ7zXZִF! K]ŗXi%6f-I5뾧kw{q\)3""4V:qyFbV5Jo6X]},[dz0\(-ٱ1>7[t|e4@?JϤdhU=b! @ti;iuAB@e4Hċ(ຜ2@\3hCEd ئ'K8 D-*QUiqK ~(fH^6 EM*hGW 9tP0_4" )xAӇFgL(%SHBEh+J@7`q+)6b{p;,*J>pKݼY3wqi4D`栱daGH4pJCdD`7R8dHj9~j*+Mp+IG*+؆dW%=}{$M;8N@FZ,Uc3{g&vEKXԂp{9ȎqL,'W%"\dr_?oRvH{ҩg/KyƂL%Aj.='b+! j)N>C iL9 M^U&\N<~t+GPC~ 1ml|*;ͯR|5EM(]  ܍@r:>aG'U'vu(֙171K+HokI#QMٚ7k YH^' Z]|"Ch7`5O#?P>\G٪tڂbXIS:\&8z:)㫁}R=KC("7KOR!\ҍ!Z w7'"TXKqTSߋ}¾O$aN@.iqН su@V!83ڵzSݶ ORv2r3jbaoI<F ofaM~,i+̧yݯFj4F_ ʕPe.ch?[>̠_X!%iC)-  HG] 02|Z x2gYZa86f58fa51e84f28a024f841f30455ffcdcb169e0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 7 Transitive-Closure-II