SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 +5 $dd ] Priority_Queue_Braun:threads=4elapsed=20.923cpu=53.356gc=0.960factor=2.557zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫v9q"TP޳ }.hr`Nu)]gTKdM7, )W2ipR!C<˓(JNhW oj}L۵s ut}TABF''3NsYa^݈-FUKH(e;C%||yaʬm7ЫM$pbb} T-8&nKi{A}IMaTC #=z6|Y 3qlp5Vʔs`_-$ŴU.y O]o8hc˔oݸm'Kߖб':z1ÔE[+fT&G̞Pl%=sW9M a,$}Ft 9JAt{> xyl}ߢ)(wX%i/Cʞm) cly79,'Lz֎4 gGDV-+Τ+s*&2Մ׽6f{ŹP"%y\ KNjdP8h{ǛzX=t:޷UcoCM`er*'ڧq8nĖ`TFړ FaJ'YfDeq-P*%عoe=w‡~)DȐGXFwo/mҾ "O0ꂤ/Ic< -V#X"i F]UqAaX]kZϧsvQUvRWމ-q&cX'4gǔ y0ԾLunLw  j^cE1)>9U?|+FëOsXleZ=-lvAVϝiY[XG5&uK4IBWK 䬄GD\9Wa\L~u4ah6Na=zMem4SrǓ齲# `{:yμ CVwt@/8 ity yNd'ӂe 5lHI&hRp,*:}&̡ fju!WhMlW*~&-+K)UT1I՗Ul)ZU Sd\Iȡ  7o°Hn'[5B=Z 8C➒i)t+ғ<^ZUXW|~WO%`::xz*h@0r8jYbWH"A HZT4pyFN'sӊH1F(s\8b'qʋ ub/.#] 5QU_Cڥca6*ciiy> fmbF77hI]֪L"2ϖivZb,ǗV.`vaxPү/Uր'E"312kjj[H }.B={֫ŸDzM)t4) #$vKB侵Z(9 uLLtl%wiDfX4/\lT*>XQSx9؁w7PuݻqanVc`ɿU~ |llQwF^$zm2wL#?Ju.LbqӡhGP_ggHu cqkW*%?s "rt]d`Yn`M3t2xv5Pl{aX@P@'o 3f "-8IW1v5@2Ϯ>'̂3 C k. lKF I!_