SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 {- \4 ] HOL-SET_Protocol:threads=6elapsed=21.221cpu=92.676gc=2.220factor=4.377zXZִF! +m]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iMMMk,-@7 Cvj][:W]yY?fyϹMBXx*5?v}+y߬b7oS ѭēTQ!W멎slosBqgT3-%'k\o_: ,/&nUGHIeG|Y>Ho }Nm1T˥l}66ޓ`nN!Y+硗aJJ.8:xhhZ[꿝9%.Ld"Os:ij* e#0Baxd:Z5RH.f^zPiZ/mX?ɚ[[WF 4<} /zˆEB߾ gH|n.'O/;NuND"mk5iCg&rPTjEVgⶡPTјlN'!g>t 1w=#|_epܖ"yґ ~HEztHRĀRH~g=w ʷ4dp h^X,G~_ͻ[KKϛ1Nւ>" 'eU2ނy~ 0v:OJ;!XR_ue%NH,ǐPO⍧Ի慹8usL;*8$ .Η]Uf/6J ۘJPkwO/l$ڏ}mz||ڡh5ym\oVm0#DOu`HwUw2ڄ8mÎi[#*M;,TY}4/$D3 0dE{{vGF!@pVS_3Y}ɬ%TT@k@˞ \ Zx:纚12|rfȠm`]2Yt8CDPK|B (>f `'j_uR!8nG5Nu'+E04(WO%T(-g]knb^M>0WoK.Nb.6. 6GEx>sm;zRH4yZ~ 2b,ՏEdp`r(tDhD2S;"D;:#l8,CVrj1hs< tH&CQD61P1" H9t8 %&iZ(w~`mcVQd!wewMcVyZG{TJOP"' 'G(uZz*8bx=39q.f#Rl9R$RZLJT=y  }ocrUOB.тa帺弊G<{g|jإᐝAn&i aӟR?5`M6dEw> N-ӷ y(Wl-ë(Otdόƪ⫠3!z5tx混ZR񭟾O¸5E6}i 'O/ԴNdT;v\$=sgYZ37a12c58e6d1e7509520fe657ce67c5a105a603a29da2f23179d57a846638571d6a47f5129270b51 1af047ad3a6300d370f1c24ae4b47a646085a2da 853634a9e790502c1e5be3a593c83c75706dc51f - HOL-SET_Protocol