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 g ,4l ]/ AVL-Trees:threads=4elapsed=11.717cpu=43.900gc=1.384factor=3.757zXZִF! * ]ŗXf[&(tw`)F~{Q$؄F;snzaeȀCDj/)pl"O0n0~:T^f i+7M߈Ug]6? u OQ]=vm egYZ7zXZִF! R]ŗXiɟy)j sC: x䛇Դ= \ZBr L<'ܝ\ijD?^{[ 6,np0gYZ7zXZִF! Vn]ŗXi%GcŕQ+DGPn}{"W3UBƳH=PjdG99gTOVx8*8`poV'9 g{` XOߵvZ[MoO4k3"h˱mL&ޗLG(A=%o.g7>`Dq!W?ZLqڃ Z41%B?:V `Ur;_17F.e1MuIxZ4{T6%:cr5ɳMɡ'sc ƮYQ.,= WSY{{}x5K;Q$| (yp$~ %|Ogg\:@<˫ud&mmT?3rJ"$cQAa H7 s?o(MkAmQ60]I&EU@HD ӻ׉LHpjv+0~r(냫ĴV" Y^_vYs:] C C1[nϽybXmLCi04;C B*M'$NߎVQaȦh"neI(7fTl}t 4XK }U1I%@Sy$\pI!c; 5΋yv%SQ)pV!bo׆ 2糵QR*}zl yiiqVI7EDcY1q+"Mɫ4gŗ_P ;{#E훯YȆHfgJ:Jo`y+>5Ri`t{ RD%Zuq[Y3gԥ^v| iArwB4vv 45a2..AꇍIhsw,[oA9\ W=M %ۛK f.4/+*ڵ+3\GwD҂ iqe2 vh ҄{X@W)y`YR8x_UG>>V@a-蜘>RaZ-]g~0k7;ni?BJyI&̟ W~6g̯k[fc+1&Dž>A|bPY3Ӱ|͡E"YCI1k. yU$gYZa1b342e7be3732714c68c72306438c2d53ee1fe41795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89   AVL-Trees