SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 &1   ]S HOL-SPARK-Examples:threads=2elapsed=18.704cpu=31.580gc=0.828factor=1.697zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)=ߔ,١NWZ99n3,$C<: f;h/izGBSžQz, LhIT|ϐ*HIͺq֛`|J|"]V0FSG3n-rlc+QKYẻ ?8ķw!BsךtATwM:T`Z\$ڊ8 zHU{|Q=!6?'MyT|^0yKu]K֣K"B]ŗXiɟ1'HGu C),_=g~ {^}vMZ$C_~5j7.\ 5̀+,dso"غ軄q;u/:%C5[l0-Q^k,H MUgYZ7zXZִF! [k<]ŗXi%>gɺO|PK|8~Ͼ“͗aY O }0YpL3B:KPV1V2{Y̨E{;o~9]=M_"Wlt =W^&?/ǎ'Ѥc,蚫ޫC )wr42`Ta瘌c9mUJ#/S=/uXtx1%î,Ƙ8k%s#k(M$V 5sE=6b:vدMD$qTz%(QUC1O| )Ax Z˲TKȉbJ2RCzTn{ﻘ !.v/<$y|k-lGUV3Xܳ*𧎵YfT2تK'(@? HI;iWSl^KOw]=nK)[?cKЊQcΛZ£BzÌLȭeȝXVn=9#V(~B 0\O]SsLԽ_ 5_!Չ*G[P-dT0qLZt+um<~mS5H{}y"MS{eD9\+P{7U,4Ve,Vxo{; v^Qě%KBB֡Pslu,PqopN2|)h3XmKCAZ7mYN%;E,aqvݫFϦ㝝H(_Jsr}׷‘lm+? Ϯ}箋u? okªBᬈvhu ]u r\sF=NZyL:=4,BuT; HSZGD(e h yU悽FٹAmA'',`"ɭ1,`lF2ZIUg` K҃NWW4a\쑱GOŐI&ʠa` gcqMX%L-4D1\F%wbc~3S} Ciɤ.# fgqPVӱ/ii ೙:^Ɋ)Km.Un*U"SFHD/,&9Pt4NfS <ޢ?Dv3"RT7-SL@V5 ]3gYZ2727ae547b106c0f669afc3b97c42809cbc81630a9ba4fcb27c61f2722def1490d5cc6ffd820a523 3e35f1f1494655d736fa0027db3480f1ebe85070 d0aa179b6037a9b2b50fbfbecb20c038562b9e95 e02d98ca75cc33ef14adb390529dd67d9f422096 1 HOL-SPARK-Examples