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 GG69 tT ]/ PSemigroupsConvolution:threads=2elapsed=24.802cpu=46.548gc=1.712factor=1.887zXZִF! )j]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2qՇtZw۹2UdFp1NMAej&iHhp ? shlp8P̄s(c<;"|HU~46Mb*V7:[Or 77Y[`" ]f9dJD#X6Pdb5PreP [欑x>,-HKKLP{\%~+A:DPLGAlQ:=y`mV[y8Ugu55.`jMagEv 1B:ռg¯@Zy-ƎARlP̬gksŌx, }ϳ:(> Tbdh2}"ڇ707\m`(Xieg5(bΩ&"!!K-x~.3=&H_ms4.ԍRyO.I}Y93/5CjB)C|oHdwUOm*ˬx06}["D)1;d?\y9`$" RAnO#PS_|.,QAXEJO&`—>O^ ]PpW>'oFᜭA=.sϊcek;|^kD m wC""Q39Rѣo`)8%8{CƎ b`7LM5xk7j5 [#avţÿk{s@ٞD/S^:S pHh׼-Chi|j>R@9EgYZ7zXZִF! ]ŗXi%6At}W0  4f'Ic-jav WjU2&< {4?$hC:%%mAǜ-icUۃ2Cj)h)-@W V?˻&K_wB.C]ӵF/ f$$XVv+@ G Hʽ: l$́ 0qشD$NHS:~G 5 Y!*ϓ=D 1 Gtc;EC^/H֬ hӤ7M  M0DRv( 䘓f U/.u,boZ_*`ڠ4x*(Xv\wF[ *|{XKH |4q\)]23}w: uMS\'fIn@@*'1J"9?EN`l$l=A7X |@iL}/Qgף' ?wqTmMP9A Hi7Ⱥ~V:2p!4^+<-bcj-ڛ9b$VPKqcyxc/]ؑݗ}ݦo>?tXV[Rٲ3;3B2uS ޾r]" s ܅6C*7[ lS^E4v.yMVk%IPA_Vm*ȊxX彶-Yf$E.V/ SA;A}|F˟?="%J}_dIHBӔP'WCf\NW 寓ZfI51sWY>14$/R BMG=`;dj Mv@x wvoܥh"9%8cN!ؙ 8(Q xleE8\: $We=ˮI`9˅ ^mgB\\pZ fl)}]%ŸX)C|q[ gz_ K YgYZ36309089ad28c8df7d644b97e87799c44a2c895be003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 9 PSemigroupsConvolution