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 ,/ |D4 ] POPLmark-deBruijn:threads=4elapsed=14.760cpu=49.540gc=2.384factor=3.367zXZִF! ~w]ŗXf[&J3MRag)-C Xʉc'~ W1w PAjGU3_rxaAׇF,h3{ѩJaneU.{ڊ*N9KsU mhNȸŐ`M Y^݇uQ鎛=`!|&NT8pgRS ܿPJ$/Ep}CHȈv yd>pjêd ĵU%`Et%Yk+M0?fcWeHBBdY X UnuºS%z\ !QjD>% [As=7aT|o 9"x>-yukBR텵cH#xۘMqwtE-{9iP31Y>H qpY.sq<]<0:'6趹 = 3ڪ iSNNږ1wݚN#̵cql`خc8RqErFXqŶqUfZ\SNmU7_ gla8 ̦nԣ6f6W4?Q"bi^C&?jߡ6%]Z (U\PErPfjt03R'H*^׉iܑ(,nN[to* ).pMJI[z׮r-|Zá?aڧud"acL)Xx4ukyfq#%~( + {<$ K8 Mx<3yH8x%%SD3v){X-/C8U$Q;z68k&M < ?,~yM6d.LQݞ)fZUF:RC8t0 zG`7fmwo,qQB{9qWjZ%9~SBxdYƀ('-(1٫HDCa4LAkiw'Q9-34E/Ja6 8P7" C |&2'0vK`>VTܻ͹"{[&#CZUa߯e nsͥdȷ1[hU*OƱRԟ/ K73@+@,o=doT1t>?3G4-wqyYk*(oc=42mvNf'?l6ɍ h"6I6 7M 0]Nf}}ηhb0UcuI`x?ɂ9`^