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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 5 dD ]%]DynamicArchitectures:threads=4elapsed=9.169cpu=31.412gc=0.532factor=3.437zXZִF! ]ŗXf[&L #.3!R&m'\2\kntJ;Ī dxZ ][Dѱ/SaL I:y~DN5ֺ'@ @>at±'V]u6`ݣKĵYJ6 sbtչ-b"qΩQ2Wͅ65ځM㌗LfҭK\_fStY?1Nڻi1".{cB3m[4'Yy3̾(,3t$.Ti_:1<^oC԰.A6>|Tk!WVg ?9įsEV1W](cY38j [8ocVf_m l0Vw\+oC9Wё%^gYZ7zXZִF! y]ŗXiɟ:340Ψ_իX+jެDu?.jT yG^`W@#St^FM Fٻ67i%`k`JCW[WBgYZ7zXZִF! VI]ŗXi%B:grd~P3{𔃼IOe Xg06WY--$'Cen6N."Hm0V_oKWl6i`3âիSx2D BHc35

JofIe娈5V&WO8|%6Scr_Ò#Nѓ8u1pe}*%l`9@JYGiDc၂=YJ"̂0=TO~23̵/4>6de4F|{!d/d):^A_H{=4FLc ]&fA `NdUҸkpʺwKCH^=O:>sOEEOJƘ }"Ll.%:2٥\V[G6v.JV08 F(oD1Z`; h9?=&p)(ϋ=@#끃P4Xǩ*RPިMl$L4~rnfB 4l#oHq`-N-, A dkƧh礉dc&߼D[o;@ r;ObvS>b|h1$"1&dU]ͅD#R[)Jf1 (baťǿ>k ?lNX0ۑg+okLs/^/~1m't-B;mG"b`VtyE#daSԴU \2boɩ; ]::(>^/mY=yȚ*Os-sSDD~!.^T'8͆\@4}"  ȹ{(=/Low*T溣3-ܣ"]TYvlFhfYVƩ.2;.qaoB:ʤ'LJ\N3]Qz`(5Ӓ V"N&*CPʇ{豪tdHB!q,L !XQPWl6 j9rX7zX6$v2[` ʬgYZ5a7279232c16dd83a9183a36a70af9830340f28f13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e2312 5ea3e541d8829a85df65570d625753752c0e7047fe8a33050583b7220230f3d150e0effd127c6fab 5 DynamicArchitectures