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 uu | ]% Topology:threads=4elapsed=4.499cpu=15.820gc=0.908factor=3.527zXZִF! WB]ŗXf[& omv1uڧ|,yw:A3p&Ǘ&0ȹK@ B0꿸wNX"Q OzK,ozGYzFǥgBKg~B^٨TF:ƻ?zYOF.3ܮZdR氵 C֣Jm@=4%u뷫9X h;C7rs\6BfFgxCٲ^?i5$&: %tT%v{mOʀM2#[UYr(XȏgFK*T|N^Űkw?`@iFxgYZ7zXZִF! v]ŗXiɟqHhB"U΅/|{2͐v˦< Ma{s4HESimF'J ;yumA\W.Y@KEQ _U'/`RhRRci ^gYZ7zXZִF! ,l]ŗXi%Eb⬟*!f5DmF 8jNi5uRuAId O$`sB9N1-,X"1Pp U vK{{\vItxn;oA sBf2a -~ͫE[0`EO$>yt5;UWc 'h!n6eYkUs>0zrspv9JoÒqM.1F8"'_<u7,,Nt0pUn !dteO Ϥq#OyX!q%/Wn.N|0C/kk{N(PY~ټ'8 ԋF讠s_5$%"83o܎꯴Jm/d3*cbý0lcǍ\%5z@B1:|Z;ؙʩi+i䜬g.>hL8P>zP "to&}L Sׅ7# /V1I\*֑рY<:% a[#}MҔu YQK:w*$ʐiZ!ufrwj ʹoPp+y~œ"wS >L? $ BzC֡%k#~g~20(fBluf#i<6>xXijgYZ79f63671c3dbf75f77bed5d7dc5d1399602c0a1987d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f b0bb5d2bffbc0824464748117a9ded47c2f72c1d   Topology