SQLite format 3 @ .0: 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info G|$t ]w Architectural_Design_Patterns:threads=4elapsed=23.957cpu=61.456gc=1.752factor=2.577zXZ ִF ! ] ŗXf[&+jFJ*h+R8֧t3ۨ!ET$$Aݺ+!@AGL]Oyh(p7R̋Ҳ[ԈeTGV/1iY,PmQ&O)(dD"Gh.sD60煴 2ˢZD +;Y G#慜2U[N`(2=>$`x)=TQ|Lo} Q-ף^c[Ek<xZEl(ە?cU{2Sh)UEju:Z G Architectural_Design_Patterns j3כL^_kqtY˯:6>, Ў2T uǴFCob[rT~QtڂvcJ i pt;P" CBtPnťݡ`zR>ΉR^e`Ԩ wR1û[|I{.-Ms½`dx!U!M䂽W`ǭ%$=S_5ixFHvX)@蠩Xly2JhL|jk6i`'{TfD=IIOµRls$<==/`uDzuD>*w՝}ubc7H#'%o22)x ̐4LOД ݝQ 9 M@g YZ7zXZ ִF ! 4 ] ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍ&Ko՞Y}~ X #!\- #:8ⓦvI\eΞ/Rħd0Op,o]FM#Ƕrzso/?0dor94tQFZ@S9x'A^ ]aV #رg YZ7zXZ ִF ! ] ŗXi%B(N2j,0b\WYT?6KDC7*r E ][5i|hfXQ.渹r q1w