SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  \$, ]S]Matrix:threads=2elapsed=41.792cpu=73.544gc=3.320factor=1.767zXZִF! !]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxAդR~cTR!CYmאW`Ӆeq7~ aɇĞSr2иݬ!%)VFC>v=Vu՝䓡hnb(a3,.L`tu8}cڇ XtR+{x_GWhч(X`ۥ_ }:)Jl{xwy7|7kןEi>$hT-;qܗm|n*lv-س[{8 '7E ޅ04~'x޻>JߴO-愓ٖ)|MUGS9x |&8Kի7;1L+ׂݣ 1Lz`:Nkk? BQk< J_QrnTla\H&h|_x$rg=鲶!)K,$09jphLYNﭷN@ySF$Q)ؚ/;!{ r0OޞdV?"l!bױgYZ7zXZִF! x ]ŗXi%92v pɍbDIc?#0FhP1WH`kEvu8x9VLU6w9}(=7?:lbϱlLr9(WS#vOԉ[Zx6ma7nbF|V@Fއr.)I^c! b#-w _ѐxC"Ѻn3.Pl΅G7霃 M\Yjr3[:(UIpsS:T8eOmF œy."Norg휏6Aeucˬ7˩ug);,v>Ѿ=N%ɹn^_ˎ ^&K#ʮ'Ns”0t BBG %ƸBalGios:@Z| ǝZA4Xo5.rlv N#pn99%YtK|%CM@R$ {XT l{g C5`\՜ID! vY stNh!WՈLev\.41s46#ϥr~\l&$z @w1^vn%ESlm)1Jp w[h- .M霷++ OvV\$h%ϝѽS43D7\[D7&jlSjڕ`V=fLd :J0IevіbtZ=wal(`CXW ǨC#2P)jeׇ"Dw@0뇦 >j5ҘƐBn06GI62~K3PKJd>n~vr9Z p9sj7N DQݴ4 ec:ڼf"#f=^7AKPrݕ1 -t@zUs| -.AK[?q`f3\ҍ4q}r>*Ĉ9u:i9SEoR m-|JBba~ 㕼 4oPXzs2_c9-=_R/-3fR9 gĵRޯؠ$e: 2T(Z"ڷp7+ւ%gYZd8e4d0afc4c51d48d8e12bbd2be8ccc50f0cb5ff0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 3d0667e85ef75ac10b3f67c9303a4f3b005e68cb56830a25651c505d529a8c6f80d93094554016e8